Model checking / Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith. Cambridge, MA ; London : The MIT Press, 2018