Using the WinWin spiral model: a case study | Synapse