Semi-formal representation of requirements for automotive solutions using sysML. - Liana Musat; Markus Hubl; Andi Buzo; Georg Pelz; Susanne Kandl; Peter P. Puschner (FDL, 2014)