Title: Formal methods and models for system design
Subjects: Mathematical models, System design