25 Years of model checking : history, achievements, perspectives - Grumberg, Orna; Veit, Helmut (Lecture Notes in Computer Science / Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, 2008)