Jon Whittle Formal Approaches to Systems Analysis Using UML: An Overview. 4-13 2000 11 J. Database Manag. 4 db/journals/jdm/jdm11.html#Whittle00