[model-based-testing-with-testoptimal.jpg]