What sets model-based testing apart from other test automation approaches is that it enables to automate all phases of software testing: test creation, test execution and validation of the test-outcome.
The next step, typically, would have been to do a second-stage test (of three required phases) on a few hundred patients to confirm early results, proceeding later with costlier and bigger final-stage trials in thousands of people.