Daniel D Gajski, Samar Abdi & Andreas Gerstlauer <br/><br/>
Embedded System Design  Modeling,Synthesis and Verification 

 - New York  Springer  2009 
 - 352p 
<br/><br/><label>ISBN: </label>9781441905031 
<br/><br/><label>Dewey Class. No.: </label>004.21 DAN