Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwahed. A Semantic Unit for Timed Automata Based Modeling Languages. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA. pages 347-360, IEEE Computer Society, 2006. [doi]