Tekstiviesti: Principles of cyber-physical systems / Rajeev Alur.