Manfred Broy Bernhard Rumpe Requirements Targeting Software and Systems Engineering Lecture Notes in Computer Science 1526 Springer 1998 3-540-65309-0 https://doi.org/10.1007/b71630 db/conf/rtse/rtse1997.html