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