Paige, R., Drivalos, N., Kolovos, D., Fernandes, K., Power, C., Olsen, G., Zschaler, S., "Rigorous identification and encoding of trace-links in model-driven engineering.", Software and Systems Modeling, 2024