Extension of a genetic network model by iterative experimentation and mathematical analysis