IEE Colloquium on Industrial Use of Formal Methods (Digest No: 1997/171)