UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. - William E. McUmber; Betty H. C. Cheng (HASE, 1999)

A General Framework for Formalizing UML with Formal Languages. - William E. McUmber; Betty H. C. Cheng (ICSE, 2001)

Automatically Detecting and Visualising Errors in UML Diagrams. - Laura A. Campbell; Betty H. C. Cheng; William E. McUmber; Kurt Stirewalt (Requir. Eng., 2002)