On the use of graph transformations for model composition traceability | IEEE Conference Publication | IEEE Xplore