Anmerkungen:
Literaturverzeichnis: Seiten 431-438
Based on drafts used in a course titled "Principles of embedded computation" at the University of Pennsylvania
Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Master's program at the University of Pennsylvania