Marsha Chechik SC(R)<sup>3</sup>: towards usability of formal methods. 8 1998 conf/cascon/1998 CASCON http://doi.acm.org/10.1145/783160.783168 db/conf/cascon/cascon1998.html#Chechik98