Bui T, Bui HT, Nguyen VL, Nguyen DT, Nguyen DA, Luong MH. Towards formal verification of smart grids: An effective modelling approach and some first experimentation. VNUHCM Journal of Engineering and Technology [Internet]. 30Sep.2023 [cited 13May2024];6(3):1924-36. Available from: http://stdjet.scienceandtechnology.com.vn/index.php/stdjet/article/view/1026