@misc{664, author = {Kai Chen and Janos Sztipanovits and Sherif Abdelwahed}, title = {A Semantic Unit for Timed Automata Based Modeling Languages}, year = {2005}, month = {October}, publisher = {Institute for Software Integrated Systems}, language = {eng}, }