Overview: Survey of Formal Methods in Industry. - Graeme I. P. Parkin; Stephen Austin (FORTE, 1993)