María Victoria Cengarle Approaches to an All-encompassing Formal Semantics for the UML. 3-4 2008 MSVVEIS conf/vveis/2008 db/conf/vveis/msvveis2008.html#Cengarle08