25 Years of model checking : history, achievements, perspectives - Grumberg, Orna; Veit, Helmut (Springer, 2008)
Impreso en Alemania