Generating Detailed Software Models of Microprocessor-Based Relays | IEEE Conference Publication | IEEE Xplore