Formal Modelling of Smart Grids: Configurability vs. Conventionality. - Thang Bui; Tuan Bui; Tuyen Nguyen; Anh Nguyen; Liem Nguyen; Huan Luong (ICCAIS, 2022)