Chu Thi Minh Hue, Trinh Thi Nhi, and Nguyen Tuan Dat. “FORMAL SEMANTIC FOR UCML”. UTEHY Journal of Applied Science and Technology, Vol. 33, Mar. 2022, pp. 27-33, http://tapchi.utehy.edu.vn/index.php/jst/article/view/518.