Ali Ebnenasir Sandeep S. Kulkarni Anish Arora FTSyn: a framework for automatic synthesis of fault-tolerance. 455-471 2008 10 STTT 5 http://dx.doi.org/10.1007/s10009-008-0083-0 db/journals/sttt/sttt10.html#EbnenasirKA08