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 7Apr.2026];6(3):1924-36. Available from: https://et.vnuhcmjournal.com.vn/index.php/et/article/view/1026