Finished text on model checking, added references, checked comments from FORMATS2012 and OxfordBioInfo, added Supplementary Materials