Generating Test Adapters for ModelJunit
A taxonomy of model-based testing approaches