@InProceedings{Evans:1998:DUFML, author = "Andy Evans and Robert B. France and Kevin Lano and Bernhard Rumpe", title = "Developing the {UML} as a Formal Modelling Notation", pages = "297--307", booktitle = "The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998", editor = "Jean B{\'e}zivin and Pierre-Alain Muller", year = "1998", }