On the use of model transformation for requirements trace models generation | IEEE Conference Publication | IEEE Xplore