Towards formal verification of smart grids: An effective modelling approach and some first experimentation - Bui, Tuan; Bui, Hoai Thang; Nguyen, Van Liem; Nguyen, Dinh Tuyen; Nguyen, Duy Anh; Luong, M. Huan (VNUHCM Journal of Engineering and Technology, 2023)