Industrial applications of formal methods to model, design, and analyze computer systems - Craigen, Dan 1953-; Gerhart, Susan L.; Ralston, Theodore L. (Noyes Data Corp., 1995)