Title: Model-Based Testing of Reactive Systems
Subjects: Computer software, testing