Formal Model Merging Applied to Class Diagram Integration | Publicación