Time-domain modeling and validation of overcurrent/reclosing relay operation | IEEE Conference Publication | IEEE Xplore