M. Fockel et al., “Application and Evaluation in the Automotive Domain,” in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.