U. Lechner, C. Lengauer, and M. Wirsing. Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, 906, page 351--367. London, UK, Springer-Verlag, (1995)
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)