Industrial applications of formal methods to model, design, and analyze computer systems by Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Industrial applications of formal methods to model, design and analyze computer systems an international survey by Craigen, Dan 1953-

Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access