Title: Model-based testing of reactive systems
Subjects: Testing, Information technology, Computer software, Computer software, testing, Systems software