@INPROCEEDINGS{KRR07, author = {Kattenbelt, Mark and Ruys, Theo C. and Rensink, Arend}, title = {An Object-Oriented Framework for Explicit-State Model Checking}, booktitle = {Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems ({VVSS} `07)}, year = {2007}, editor = {Perry Groot}, pages = {84 -- 92}, organization = {LaQuSo}, publisher = {Technische Universiteit Eindhoven}, }