%A Khoa Hai Nguyen
%A Duc Hanh Dang
%J Journal of Science and Technology
%T RTL: A Tool for Precise Model Transformations
%N 4A
%P 230-239
%V 52
%D 2014
%I Hanoi University of Industry
%L SisLab1972