Christoph Bodenstein, Frank Lohse, Armin Zimmermann. Executable specifications for model-based development of automotive software. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010. pages 727-732, IEEE, 2010. [doi]
Abstract is missing.