Naldi A, Thieffry D, Chaouiya C.  2007.  Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. Computational Methods in Systems Biology. 4695:233-247.