Model-Based Specification and Execution of Embedded Real-Time Systems - Schattkowsky, Tim; Müller, Wolfgang (Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France)