Automation of Methodology for Analysis of Overcurrent Protection Functions in Electrical Power Systems | Synapse