A method of synchronous-feedback based state machine with triple modular redundancy | IEEE Conference Publication | IEEE Xplore