Using the WinWin spiral model: a case study | IEEE Journals & Magazine | IEEE Xplore