Minor fix

color package seems to have some issue (using fileno). Thus -> catch the exception, work without it then.

Minor fix

color package seems to have some issue (using fileno). Thus -> catch the exception, work without it then.

Release 0.5.1

Small bugfixes in the verification

Demo for SAM 2018 publication

This is a demo for the reviewers and readers of the publication submitted to the 10th System Analysis and Modeling Conference (SAM2018).