Handbook of Model Checking - Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Springer, 2018)