Kovše, T.: Environment for formal verification of safety-critical systems, Master Thesis (in Slovene), Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia (2011), http://dkum.uni-mb.si/Dokument.php?id=24275.