Abdelouahed Gherbi, Ferhat Khendek. Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. In Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece. pages 412-419, IEEE Computer Society, 2007. [doi]