Automatic Validation And Optimisation Of Biological Models