Gilfellon, O., Honorato-Zimmer, R., Pocock, M., Madsen, C., Waites, W., Cavaliere, M., Misirli, G., Zuliani, P., Danos, V., & Wipat, A. (2015). Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinformatics, 908 - 917. https://doi.org/10.1093/bioinformatics/btv660