Title: Formal Techniques for Safety-Critical Systems
Subjects: System failures (engineering), Systems engineering, Formal languages, Software engineering, Computer science, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices