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 . 2007A slicer for UML state machines - Ojala - 2007 () Citation Context ...ts in [17] thereby reducing the state-...