published in Proceedings of the 2nd International Workshop on Model Comparison in Practice - IWMCP ’11 Journal