An Automated Approach for the Design of a Fault Tolerant Controller | IEEE Conference Publication | IEEE Xplore