Difference computation of large models
C. Treude, S. Berlik, S. Wenzel, U. Kelter, in: I. Crnkovic, A. Bertolino (Eds.), Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ACM, New York, NY, USA, 2007, pp. 295–304.