SysML to NuSMV Model Transformation via Object-Orientation. - Georgiana Caltais; Florian Leitner-Fischer; Stefan Leue; Jannis Weiser (CyPhy, 2016)