Harald Fecher Jens Schönborn Marcel Kyas Willem P. de Roever 29 New Unclarities in the Semantics of UML 2.0 State Machines. 52-65 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_5 db/conf/icfem/icfem2005.html#FecherSKR05