Lamsweerde. Goal-oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. IEEE, 2003, doi:10.1109/icse.2003.1201266.