Patcas, L., Lawford, M. and Maibaum, T. (2014) “From System Requirements to Software Requirements in the Four-Variable Model”, Electronic Communications of the EASST, 66. doi: 10.14279/tuj.eceasst.66.887.