Title: Critical Systems : Formal Methods and Automated Verification
Subjects: Computer science