Martin Böschen, Christian Rudat. Tracing of Informal and Formal Requirements through Model Variables. In Iaakov Exman, Juan Lloréns, Anabel Fraga, editors, SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, Lisbon, Portugal, November 12-14, 2015. pages 58-63, SciTePress, 2015. [doi]