Using hall-effect sensors to add digital recording capability to electromechanical relays | IEEE Conference Publication | IEEE Xplore