@inproceedings{VBBB09,
 author = {Kees Verstoep and Henri Bal and Jiří Barnat and Luboš Brim},
 booktitle = {23rd IEEE International Parallel \& Distributed Processing Symposium (IPDPS 2009)},
 publisher = {IEEE},
 title = {{Efficient Large-Scale Model Checking}},
 year = {2009}
}