Natarajan Shankar: Combining Model Checking and Deduction. Handbook of Model Checking 2018: 651-684