Alur, R. <br/><br/>
Principles of Cyber-Physical Systems  
Rajeev Alur 
 - Cambridge  The MIT Press 
<br/><br/><label>ISBN: </label>978-0262029117 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic Control<br/>Embedded System Designs