Title: Reactive systems
Subjects: Expert systems (Computer science), Validation, Verification, System design, Mathematical models