Manna, Zohar <br/><br/>
Temporal Verification Of Reactive Systems: Safety 

 -  Springer 
 - XVIII, 512 p. 
<br/><br/><label>ISBN: </label>9780387944593 
<br/><br/><label>Dewey Class. No.: </label>4.0151  / MAN