Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering. - Joel Greenyer; Max Haase; Jörg Marhenke; Rene Bellmer (ESEC/SIGSOFT FSE, 2015)