Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model