Nguyen, Khoa Hai and Dang, Duc Hanh  (2014) RTL: A Tool for Precise Model Transformations.  Journal of Science and Technology, 52  (4A).   pp. 230-239.  ISSN 1859-3585