Over Current Relay Modeling using Modelica with Cross-Verification against a Validated Model. - Manuel Navarro Catalan; Luigi Vanfretti (MSCPES@CPSIoTWeek, 2019)