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