Snippets of modelchecking code (mvdXML, java, whatever)