Bui, T., Bui, H. T., Nguyen, V. L., Nguyen, D. T., Nguyen, D. A., & 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), 1924-1936. https://doi.org/https://doi.org/10.32508/stdjet.v6i3.1026