Smith, Jeffrey E.; Kokar, Mieczyslaw K.; Baclawski, Kenneth (2001): Formal verification of UML diagrams: A first step towards code generation. Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001. PISSN: 1617-5468. ISBN: 3-88579-335-0. pp. 224-240. Regular Research Papers. Toronto, Canada. October 1st, 2001
