Software requirements : objects, functions, and states - Davis, Alan M. (Prentice Hall PTR, 1993)