Bengt Jonsson Tiziana Margaria Gustaf Naeser Jan Nyström Bernhard Steffen Incremental Requirement Specification for Evolving Systems. 65-87 2001 8 Nord. J. Comput. 1 db/journals/njc/njc8.html#JonssonMNNS01