Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille. From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. In Dimitris S. Kolovos, Manuel Wimmer, editors, Theory and Practice of Model Transformations - 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. Volume 9152 of Lecture Notes in Computer Science, pages 149-165, Springer, 2015. [doi]
Abstract is missing.