Software requirements : styles and techniques - Lauesen, Soren (Addison-Wesley, 2002)