Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency | IEEE Conference Publication | IEEE Xplore