TY - CONF AU - Schattkowsky, Tim AU - Müller, Wolfgang ID - 7929 T2 - Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France TI - Model-Based Specification and Execution of Embedded Real-Time Systems VL - 2 ER -