TY  - BOOK
AU  - Alur, Rajeev
TI  - Principles of Cyber-Physical Systems
SN  - 9780262029117 (hardcover : alk. paper
U1  - 006.22 
PY  - 2015///
CY  - Massachusetts
PB  - The MIT Press
KW  - Automatic control
KW  - System design
KW  - Embedded internet devices
KW  - Internet of things
KW  - Formal methods (Computer science
N1  - Includes bibliographical references and index
ER  -