A Semantic Unit for Timed Automata Based Modeling Languages | IEEE Conference Publication | IEEE Xplore