Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks - Lin, Pey-Chang Kent; Khatri, Sunil P. (Springer New York : Imprint: Springer, 2014)