published in 21st ACM IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings Models Companion 2018 Journal