(untitled) - Broy, M; Cengarle, M V (UML formal semantics: lessons learned Software & Systems Modeling, 2011)