Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang. Automated Verification of Model Transformations in the Automotive Industry. In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke, editors, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Volume 8107 of Lecture Notes in Computer Science, pages 690-706, Springer, 2013. [doi]
Abstract is missing.