Graphical modelling meets formal methods. - Stefan Gulan; Sven Johr; Roberto Kretschmer; Stefan Rieger; Michael Ditze (INDIN, 2013)

Model-Based Analysis for Safety Critical Software. - Stefan Gulan; Jens Harnisch; Sven Johr; Roberto Kretschmer; Stefan Rieger; Rafael Zalman (SAFECOMP, 2015)