Sandeep S. Kulkarni Ali Ebnenasir The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. 348-355 2005 2 IEEE Trans. Dependable Sec. Comput. 4 http://doi.ieeecomputersociety.org/10.1109/TDSC.2005.52 db/journals/tdsc/tdsc2.html#KulkarniE05a