Shiva Nejati Mehrdad Sabetzadeh Marsha Chechik Sebastián Uchitel Pamela Zave Towards compositional synthesis of evolving systems. 285-296 2008 SIGSOFT FSE http://doi.acm.org/10.1145/1453101.1453143 conf/sigsoft/2008 db/conf/sigsoft/fse2008.html#NejatiSCUZ08