State, U M LV. Ojala, "A slicer for UML state machines," Helsinki University of Technology, 2007.A slicer for UML state machines. OJALA,V. Tech. Rep. HUT-TCS-25 . 2007OJALA, V. 2007. A slicer for UML state machines. Tech. rep. HUT-TCS-25, Helsinki University of Technology ...