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)