TY - BOOK AU - Alur, Rajeev TI - Principles of cyber-physical systems SN - 9780262029117 U1 - 006.22 PY - 2015/// CY - Cambridge PB - MIT Press ER -