Kai Chen, Janos Sztipanovits, Sherif Abdelwahed: A Semantic Unit for Timed Automata Based Modeling Languages. IEEE Real Time Technology and Applications Symposium 2006: 347-360