File talk:Principles of Model Checking.jpg