Karsten Loer Michael D. Harrison Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. 223-226 2002 conf/kbse/2002 ASE http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360223abs.htm db/conf/kbse/ase2002.html#LoerH02