Mehrdad Sabetzadeh Shiva Nejati Steve M. Easterbrook Marsha Chechik Global consistency checking of distributed models with TReMer+. 815-818 2008 ICSE http://doi.acm.org/10.1145/1368088.1368208 conf/icse/2008 db/conf/icse/icse2008.html#SabetzadehNEC08