Jastram, M., Hallerstede, S. and Ladenberger, L. (2012) “Mixing Formal and Informal Model Elements for Tracing Requirements”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.685.