Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze. Graphical modelling meets formal methods. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 716-721, IEEE, 2013. [doi]
Abstract is missing.