Irons DJ.  2009.  Logical analysis of the budding yeast cell cycle. Journal of theoretical biology. 257(4):543-59.