A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit - Boerger, E; Cavarra, A; Riccobene, E (Grenoble, 2002)