Title: Handbook of Model Checking