Natasha Sharygina James C. Browne Robert P. Kurshan A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. 318-332 2001 conf/fase/2001 FASE http://dx.doi.org/10.1007/3-540-45314-8_23 db/conf/fase/fase2001.html#SharyginaBK01