Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study. - Neil A. M. Maiden; Sara Jones 001; Sharon Manning; John Greenwood; L. Renou (CAiSE, 2004)