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