B. Berenbach. OOPSLA: Conference on Object-oriented programming systems, languages, and applications, page 247--252. New York, NY, USA, ACM Press, (2004)
D. Jansen, H. Hermanns, and J. Katoen. Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, page 355--374. Springer, (September 2002)