Snippets of modelchecking code (mvdXML, java, whatever) - View it on GitHub