M. Jastram, S. Hallerstede, and L. Ladenberger, “Mixing Formal and Informal Model Elements for Tracing Requirements”, eceasst, vol. 46, Jan. 2012.