S. Hoelldampf Daniel Zaum Markus Olbrich Erich Barke Ingmar Neumann Sebastian Schmidt Methodologies for High-Level Modelling and Evaluation in the Automotive Domain (invited). 73-77 2008 FDL http://dx.doi.org/10.1109/FDL.2008.4641424 conf/fdl/2008 db/conf/fdl/fdl2008.html#HoelldampfZOBNS08