Requirements Engineering: From System Goals Models to Software Specifications - Lamsweerde, A.V. (Wiley India New Delhi, 2014)