Andy Evans Robert B. France Kevin Lano Bernhard Rumpe The UML as a Formal Modeling Notation. 336-348 1998 conf/uml/1998 UML db/conf/uml/uml1998.html#EvansFLR98