Text this: Principles of Model Checking