1. Tolerance automata;Arbib;Kybernetika,1967
2. Diagnosis and Fault-Tolerant Control;Blanke,2006
3. Dal Cin, M. (1997). Verifying fault-tolerant behavior of state machines. In Proceedings of the 2nd High-Assurance Systems Engineering Workshop, 94-99. Washington, DC.
4. Dumitrescu, E., Girault, A., Marchand, H., and Rutten, E. (2007). Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. In IFAC Workshop on Dependable Control of Discrete-Event Systems, 23-28. Cachan.
5. The abstract theory of automata;Glushkov;Russian Mathematical Surveys,1961