Requirements engineering : from system goals to UML models to software specifications - Lamsweerde, Axel van (John Wiley, 2009)