Error detection in fault secure controllers using state encoding | IEEE Conference Publication | IEEE Xplore