Holzmann, Gerard J <br/><br/>
The spin model checker : primer and reference manual 
Gerard J. Holzmann 
 - Boston, MA  Addison-Wesley  c2004 
 - xii, 596 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references (p. 545-552) and index 
<br/><br/><label>ISBN: </label>9780321228628 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs - Testing<br/>Model Checking<br/>Systems engineering - Mathematical models
<br/><br/><label>Dewey Class. No.: </label>620.001171 HOL