As required vs. as implemented

Eclipse Carpa helps to create tracebility links between any EMF models in Eclipse
https://projects.eclipse.org/projects/modeling.capra
Carpa helps to create EMF traceability model that connects any EMF elements.
Demonstration how it works
https://www.youtube.com/watch?v=61sUdObyKUk&feature=yout u.be&t=703