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), pp. 1924-1936. doi: https://doi.org/10.32508/stdjet.v6i3.1026.