Wyślij wiadomość: 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).