Title: Synchronous Programming of Reactive Systems
Subjects: Real-time programming, Computer programming