Lamsweerde, 2003. Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications, in: . IEEE.. https://doi.org/10.1109/icse.2003.1201266