A symbolic reasoning approach to fault detection and isolation applied to electrical machines | IEEE Conference Publication | IEEE Xplore