?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Dao%2C+Thi+Huong&rft.aulast=Dao&rft.aufirst=Thi+Huong&rft.date=October+2017&rft.title=A+Tool+Support+for+Checking+Consistency+in+Model+Refactoring&rft.genre=proceeding