@article{SisLab1972,
          volume = {52},
          number = {4A},
          author = {Khoa Hai Nguyen and Duc Hanh Dang},
           title = {RTL: A Tool for Precise Model Transformations},
       publisher = {Hanoi University of Industry},
         journal = {Journal of Science and Technology},
           pages = {230--239},
            year = {2014},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1972/}
}