1. Bubenko Jr., J.A.: Challenges in requirements engineering. In: Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp. 160–162, March 1995
2. McDermid, J.: Software Engineer’s Reference Book. CRC Press Inc, Boca Raton (1991)
3. Lutz, R.: Analyzing software requirements errors in safety-critical, embedded systems. In: Proceedings of IEEE International Symposium on Requirements Engineering, pp. 126–133, January 1993
4. Davis, A.M.: Operational prototyping: a new development approach. IEEE Softw. 9, 70–78 (1992)
5. Goguen, J., Meseguer, J.: Rapid prototyping: in the obj executable specification language. SIGSOFT Softw. Eng. Notes 7, 75–84 (1982)