Computer-aided selection and verification of circuit breakers | IEEE Journals & Magazine | IEEE Xplore