Reference: Ay F, et al. (2009) Scalable steady state analysis of boolean biological regulatory networks. PLoS One 4(12):e7992