And-Or Dependence Graphs for Slicing Statecharts.

Chris Fox Arthorn Luangsodsai And-Or Dependence Graphs for Slicing Statecharts. 2005 Beyond Program Slicing http://drops.dagstuhl.de/opus/volltexte/2006/493 conf/dagstuhl/2005P5451 db/conf/dagstuhl/P5451.html#FoxL05