Model Transformation Use cases; examples and tests for model transformation languages, based on real use cases