Proceedings of the 2nd International Workshop on Model Comparison in Practice
ACM Digital Library