Embedded systems design and verification / 

 - 2nd ed. 
 - New York :  CRC Press ,  2009. 
<br/><br/><label>ISBN: </label>9781439807552 
<br/><br/><label>Subjects--Index Terms: </label>Embedded Systems Design