Chaouiya C, Remy E, Mossé B, Thieffry D.  2003.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework. Positive Systems. 294:830-832.