BUI, T.; BUI, H. T.; NGUYEN, V. L.; NGUYEN, D. T.; NGUYEN, D. A.; LUONG, M. H. Towards formal verification of smart grids: An effective modelling approach and some first experimentation. VNUHCM Journal of Engineering and Technology, v. 6, n. 3, p. 1924-1936, 30 set. 2023.