Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.