L. Paulevé, M. Magnin, and O. Roux, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, pp.651-685, 2012.
DOI : 10.1007/s11538-008-9304-7

M. Folschette, L. Paulevé, M. Magnin, and O. Roux, Sufficient conditions for reachability in automata networks with priorities, Theoretical Computer Science, vol.608, issue.1, pp.66-83, 2015.
DOI : 10.1016/j.tcs.2015.08.040
URL : https://hal.archives-ouvertes.fr/hal-01202671

J. Esparza and K. Heljanko, Unfoldings ? A Partial-Order Approach to Model Checking, 2008.