Bui, T., H. T. Bui, V. L. Nguyen, D. T. Nguyen, D. A. Nguyen, and M. H. Luong. “Towards Formal Verification of Smart Grids: An Effective Modelling Approach and Some First Experimentation”. VNUHCM Journal of Engineering and Technology, Vol. 6, no. 3, Sept. 2023, pp. 1924-36, doi:https://doi.org/10.32508/stdjet.v6i3.1026.