Text this: Principles of Model checking