Bui, Tuan, Hoai Thang Bui, Van Liem Nguyen, Dinh Tuyen Nguyen, Duy Anh Nguyen, and M. Huan Luong. “Towards Formal Verification of Smart Grids: An Effective Modelling Approach and Some First Experimentation”. VNUHCM Journal of Engineering and Technology 6, no. 3 (September 30, 2023): 1924-1936. Accessed May 13, 2024. http://stdjet.scienceandtechnology.com.vn/index.php/stdjet/article/view/1026.