@inproceedings{mci/Smith2001,
author = {Smith, Jeffrey E. AND Kokar, Mieczyslaw K. AND Baclawski, Kenneth},
title = {Formal verification of UML diagrams: A first step towards code generation},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 224-240 },
publisher = {},
address = {Bonn}
}