The Cell Cycle as a Checkpointed State Machine