A computer-aided design tool for developing digital controllers and relays | IEEE Journals & Magazine | IEEE Xplore