1 SWE 205 - Introduction to Software Engineering Lecture 18 – Critical System Specifications (Chapter 9)