Proceedings of the 1st International Workshop on Model Comparison in Practice
ACM Digital Library