Gajski, Daniel D <br/><br/>
Embedded System Design: Modeling Synthesis and Verification 

 - London  Springer  2013 
 - xvii,352 
<br/><br/>
<br/><br/><br/>E 
<br/><br/><label>Dewey Class. No.: </label>001.64404/Gaj