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