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