@inproceedings{636, author = {Kai Chen and Janos Sztipanovits and Sherif Abdelwahed}, title = {A Semantic Unit for Timed Automata Based Modeling Languages}, year = {2006}, journal = {12th IEEE Real-Time and Embedded Technology and Applications Symposium}, pages = {2--14}, month = {April}, address = {San Jose, CA}, language = {eng}, }