Systematic Validation of Model Transformations
J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.