Vahid, Frank Gajski, Daniel D <br/><br/>
Specification and Design of Embedded Hardware-Software Systems. 

 - 53-67 p.