%0 Journal Article %@ 1859-3585 %A Nguyen, Khoa Hai %A Dang, Duc Hanh %D 2014 %F SisLab:1972 %I Hanoi University of Industry %J Journal of Science and Technology %N 4A %P 230-239 %T RTL: A Tool for Precise Model Transformations %U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1972/ %V 52