UML formal semantics: lessons learned. - Broy, Manfred; Cengarle, María (Software & Systems Modeling, 2011)