Executable specifications for model-based development of automotive software. - Christoph Bodenstein; Frank Lohse; Armin Zimmermann (SMC, 2010)