TY - BOOK AU - Rajeev Alur TI - Principles of Cyber-Physical Systems SN - 9780262029117 U1 - 006.22 PY - 2015/// CY - USA PB - MIT Press ER -