%A Khoa Hai Nguyen
%A Duc Hanh Dang
%T RTL: A Tool for Precise Model Transformations
%C Ho Chi Minh City, Vietnam
%D 2014
%L SisLab1295