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 2023, 6, 1924-1936.