Gajski, Daniel D. … [et al.] <br/><br/>
Embedded system design: modeling synthesis and verification 

 -  Springer  2006 
<br/><br/><label>ISBN: </label>9788132211068 
<br/><br/><label>Dewey Class. No.: </label>004.21  / T06 GAJ.A