Gilfellon, O, Honorato-Zimmer, R, Pocock, M, Madsen, C, Waites, W, Cavaliere, M, Misirli, G, Zuliani, P, Danos, V, Wipat, A, "Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.", Bioinformatics, 2015