Dan Craigen and Susan Gerhart <br/><br/>
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems 

 -  William Andrew Publishing  1995 
<br/><br/><label>ISBN: </label>9780815513629 978-0-8155-1362-9