Jastram, M.; Hallerstede, S.; Ladenberger, L. Mixing Formal and Informal Model Elements for Tracing Requirements. ECEASST 2012, 46.