Industrial-strenght formal methods in practice - Hinchey, Michael G. 1969-; Bowen, J. P. 1956- (Formal Approaches to Computing and Information technology, 1999)