A. Wąsowski. LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, 39, page 257--266. New York, NY, USA, ACM Press, (July 2004)
M. Cengarle, and A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., page 85--99. Technische Universität München, (2004)