presented at event Proceedings of ICRE2000: IEEE International Conference on Requirements Engineering Conference