State, U M LOjala, V.: A Slicer for UML State Machines. Technical Report 25, Helsinki Uni- versity of Technology (2007)A slicer for UML state machines. OJALA,V. Tech. Rep. HUT-TCS-25 . 2007V. Ojala, "A slicer for UML state machines," Helsinki University of Technology, 2007....