Text this: Handbook of Model Checking