Bogdan Korel Inderdeep Singh Luay Ho Tahat Boris Vaysburg Slicing of State-Based Models. 34-43 2003 conf/icsm/2003 ICSM http://csdl.computer.org/comp/proceedings/icsm/2003/1905/00/19050034abs.htm db/conf/icsm/icsm2003.html#KorelSTV03