← Chapter 4: Regular Properties Principles of Model Checking