L. Patcas, M. Lawford, and T. Maibaum, “From System Requirements to Software Requirements in the Four-Variable Model”, eceasst, vol. 66, Feb. 2014.