"UML formalization is a traceability problem."

R. E. Kurt Stirewalt, Min Deng, Betty H. C. Cheng (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics