T. Bui, H. T. Bui, V. L. Nguyen, D. T. Nguyen, D. A. Nguyen, and M. H. Luong, “Towards formal verification of smart grids: An effective modelling approach and some first experimentation”, VNUHCM Journal of Engineering and Technology, vol. 6, no. 3, pp. 1924-1936, Sep. 2023.