Sandeep S. Kulkarni Ali Ebnenasir Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. 201-215 2005 2 IEEE Trans. Dependable Sec. Comput. 3 http://doi.ieeecomputersociety.org/10.1109/TDSC.2005.29 db/journals/tdsc/tdsc2.html#KulkarniE05