M. Blinov, Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, 2004.

F. Fages and S. Soliman, From reaction models to influence graphs and back: A theorem, Proc. FMSB'08, vol.5054, pp.90-102, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00419921

J. Feret and K. L´yl´y, Reachability analysis via orthogonal sets of patterns, ENTCS, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01379902

J. Feret and K. L´yl´y, Local traces: an over-approximation of the behaviour of the proteins in rule-based models, IEEE/ACM TCBB, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01379897

B. Gyori, From word models to executable models of signaling networks using automated assembly, 2017.

M. Horiguchi, M. Ota, and D. Rifkin, Matrix control of transforming growth factor-? function, The Journal of Biochemistry, vol.152, issue.4, pp.321-329, 2012.

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The ocaml system, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00930213

A. Naldi, D. Berenguier, A. Fauré, F. Lopez, D. Thieffry et al., Logical modelling of regulatory networks with ginsim 2.3, Biosystems, vol.97, issue.2, pp.134-139, 2009.

R. Suderman and E. Deeds, Machines vs. ensembles: effective mapk signaling through heterogeneous sets of protein complexes, PLoS Computational Biology, vol.9, 2013.