A Formal Approach to Model Composition Applied to VUML | IEEE Conference Publication | IEEE Xplore