Neil A. M. Maiden Sara Jones Sharon Manning John Greenwood L. Renou Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study. 368-383 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3084&spage=368 2004 conf/caise/2004 CAiSE db/conf/caise/caise2004.html#MaidenJMGR04