Reference: Faure A, et al. (2009) Modular logical modelling of the budding yeast cell cycle. Mol Biosyst 5(12):1787-96