Patcas, L.; Lawford, M.; Maibaum, T. From System Requirements to Software Requirements in the Four-Variable Model. ECEASST 2014, 66.