Industrial applications of formal methods to model, design and analyze computer systems an international survey - Craigen, Dan 1953- (Noyes Data Corp., 1995)