A Survey: Applying Formal Methods to a Software Intensive System.

Adriaan de Groot Jozef Hooman Fabrice Kordon Emmanuel Paviot-Adet Isabelle Vernier-Mounier Michel Lemoine Gervais Gaudiére Victor L. Winter Deepak Kapur A Survey: Applying Formal Methods to a Software Intensive System. 55-64 2001 conf/hase/2001 HASE db/conf/hase/hase2001.html#GrootHKPVLGWK01