Principles of Cyber-Physical Systems - Alur (IEEE, 2003)