Manna, Zohar <br/><br/>
Temporal verification of reactive systems  safety 
Zohar Manna Amir Pnueli. 
 - New York  Springer  2003 
 - xviii, 512p., 24cm. 
<br/><br/><label>ISBN: </label>0-387-94459-1. 
<br/><br/><label>Dewey Class. No.: </label>005.2  / M30T