Anthony Hall Realising the Benefits of Formal Methods. 1-4 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_1 db/conf/icfem/icfem2005.html#Hall05