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