Book

High-integrity system specification and design

by J. P. Bowen, Michael G. Hinchey