Color epsilon edges blue in dot file

Open Merlin requested to merge mgttlinger/osek-verification:master into master

Merge request reports