Formal Description and Verification of a Text-based Model Differencing and Merging Method In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: AMARETTO, 657-667, 2018 , Funchal, Madeira, Portugal