Modular logical modelling of the budding yeast cell cycle.