Title: A Practical Theory of Reactive Systems
Subjects: Computer software, development, System design