David S. Hardin <br/><br/>
Design and Verification of Microprocessor Systems for High-Assurance Applications 

 -  Springer eBooks  2010 
<br/><br/><label>ISBN: </label>9781441915399