From: A checkpoints capturing timing-robust Boolean model of the budding yeast cell cycle regulatory network