Mats Per Erik Heimdahl Yunja Choi Michael W. Whalen Deviation Analysis Through Model Checking. 37-46 2002 conf/kbse/2002 ASE http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360037abs.htm db/conf/kbse/ase2002.html#HeimdahlCW02