A traceability approach for model composition | IEEE Conference Publication | IEEE Xplore