Hesse, J. (in preparation). Automated Hypothesis Generation and Validation for Model checking of Regulatory Networks.