Graeme I. Parkin Stephen Austin Overview: Survey of Formal Methods in Industry. 189-203 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#ParkinA93