Design and validation of fault-tolerant embedded controllers | IEEE Conference Publication | IEEE Xplore