Automatic Validation and Optimisation of Biological Models - Cooper, J (University of Oxford, 2009)