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