Baier, Chirstel <br/><br/>
Principles of Model Checking 

 - UK  The MIT Press  2008 
<br/><br/><label>ISBN: </label>9780262026499 
<br/><br/><label>Dewey Class. No.: </label>004.24  / BAI