Requirements Engineering by Ken Jackson, M. Elizabeth & C. Hull