Model-Based Specification and Execution of Embedded Real-Time Systems - Schattkowsky, Tim; Müller, Wolfgang (Proceedings of DATE’04, 2004)
Keywords: conference paper