Yingfei Xiong Zhenjiang Hu Haiyan Zhao Hui Song Masato Takeichi Hong Mei Supporting automatic model inconsistency fixing. 315-324 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595757 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#XiongHZSTM09