David Pautler Steven Woods Alex Quilici Exploiting Domain-Specific Knowledge to Refine Simulation Specifications. 117- 1997 ASE http://computer.org/proceedings/ase/7961/79610117abs.htm db/conf/kbse/ase1997.html#PautlerWQ97