Coordination of directional overcurrent relay timing using linear programming | Synapse