Jastram, Michael, et al. “Mixing Formal and Informal Model Elements for Tracing Requirements”. Electronic Communications of the EASST, vol. 46, Jan. 2012, doi:10.14279/tuj.eceasst.46.685.