TY - BOOK AU - Alur, Rajeev TI - Principles of Cyber-Physical Systems SN - 9780262029117 U1 - 006.22 PY - 2015/// CY - London PB - MIT Press KW - Automatic Control, System Design, Internet of Things, Formal Methods N1 - DEL5-570352 08-03-2022 ER -