Over Current Relay Modeling using Modelica with Cross-Verification against a Validated Model | IEEE Conference Publication | IEEE Xplore