Jastram, Michael, Stefan Hallerstede, and Lukas Ladenberger. 2012. “Mixing Formal and Informal Model Elements for Tracing Requirements”. Electronic Communications of the EASST 46 (January). https://doi.org/10.14279/tuj.eceasst.46.685.