1. Lecture Notes in Computer Science;E. Astesiano,2003
2. Erpenbach, E.: Compilation, Worst-Case Execution Times and Schedulability Analysis of Statecharts Models. Phd thesis, Department of Mathematics and Computer Science of the University of Paderborn (April 2000)
3. Lecture Notes in Computer Science;T. Firley,1999
4. Groenewegen, L., Engels, G., Küster, J.M., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-oriented Behavioral Models. In: Gruhn, V. (ed.) ESEC. Proceedings of the 8th European Software Engineering Conference, pp. 186–195. ACM Press, New York (2001)
5. Gherbi, A., Khendek, F.: Timed-automata Semantics and Analaysis of UML/SPT Models with Concurrency. In: Proceedings of 10th IEEE International Symposium on Object/component/service-oriented Real-Time Distributed Computing (ISORC 2007), 7-9 Mai 2007, Santorini Island, Greece (2007)