@MASTERSTHESIS{Kat06, author = {Kattenbelt, M.A.}, title = {Towards an Explicit-State Model Checking Framework}, school = {University of Twente}, year = {2006}, address = {Enschede, The Netherlands}, }