Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler: Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4): 469-487 (2011)