Jeffrey O. Grady <br/><br/>
System Verification (Second Edition) 

 -  Academic Press  2016 
<br/><br/><label>ISBN: </label>9780128042212 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering 2016