Rajeev Alur, Ahmed Bouajjani, Javier Esparza: Model Checking Procedural Programs. Handbook of Model Checking 2018: 541-572