1 Chapter 28 Formal Methods Software Engineering: A Practitioner’s Approach, 6th edition by Roger S. Pressman.