Text this: Principles of cyber-physical systems / Rajeev Alur.