William E. McUmber Betty H. C. Cheng A General Framework for Formalizing UML with Formal Languages. 433-442 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#McUmberC01 http://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919116