Mathematical analysis and modelling of electrical infrastructures for the execution of electric power system studies