TY  - BOOK
AU  - Alur,Rajeev
TI  - Principles of cyber-physical systems
SN  - 9780262029117 (hardcover : alk. paper)
U1  - 004.056 
PY  - 2015///
CY  - London
PB  - MIT Press, 
KW  - Automatic control
KW  - System design
KW  - Embedded internet devices
KW  - Internet of things
KW  - Formal methods (Computer science)
ER  -