25 years of model checking : history, achievements, perspectives - Grumberg, Orna, 1952-; Veith, Helmut (Springer, 2008)