25 years of model checking : history, achievements, perspectives - Grumberg, Orna, 1952-; Veith, Helmut (Lecture notes in computer science ;, 2008)