However, Colgate suggested in an earlier interview with CNN.com that a non-academic team could perform the review, perhaps a softwaretesting and validation firm.
What sets model-based testing apart from other test automation approaches is that it enables to automate all phases of softwaretesting: test creation, test execution and validation of the test-outcome.