@InProceedings{,
author={Kattenbelt, M. and Ruys, T. and Rensink, A.},
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={Groot P.},
pages={84-92},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}