Bui, T., Bui, H.T., Nguyen, V.L., Nguyen, D.T., Nguyen, D.A. and Luong, M.H. 2023. Towards formal verification of smart grids: An effective modelling approach and some first experimentation. VNUHCM Journal of Engineering and Technology. 6, 3 (Sep. 2023), 1924-1936. DOI:https://doi.org/https://doi.org/10.32508/stdjet.v6i3.1026.