A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. - Ahmed Nagy Abdelkhalek Mansour; Samuele Grillo; Enrico Ragaini; Matteo Rossi 001 (FormaliSE, 2023)

Efficient Verification of Protection System Configuration of Electrical Distribution Grids. - Francesco Pellei; Ahmed Nagy Abdelkhalek Mansour; Enrico Ragaini; Samuele Grillo; Matteo G. Rossi (ISGT EUROPE, 2024)