E. W. Dijkstra, Self-stabilizing systems in spite of distributed control, Communications of the ACM, vol.17, issue.11, pp.643-644, 1974.
DOI : 10.1145/361179.361202

A. Arora, A foundation of fault-tolerant computing, 1992.

A. Arora and M. G. Gouda, Closure and convergence: a foundation of fault-tolerant computing, IEEE Transactions on Software Engineering, vol.19, issue.11, pp.1015-1027, 1993.
DOI : 10.1109/32.256850

Z. Liu and M. Joseph, Transformation of programs for fault-tolerance. Formal Aspects of Computing, pp.442-469, 1992.

A. Arora, M. Gouda, and G. Varghese, Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems, Journal of High Speed Networks, vol.5, issue.3, pp.293-306, 1996.

S. S. Kulkarni and A. Arora, Automating the Addition of Fault-Tolerance, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.82-93, 2000.
DOI : 10.1007/3-540-45352-0_9

B. Alpern and F. B. Schneider, Defining liveness, Information Processing Letters, vol.21, issue.4, pp.181-185, 1985.
DOI : 10.1016/0020-0190(85)90056-0

S. Sandeep, A. Kulkarni, and . Ebnenasir, Complexity issues in automated synthesis of failsafe fault-tolerance, IEEE Transactions on Dependable and Secure Computing (TDSC), vol.2, issue.3, pp.201-215, 2005.

R. Michael, D. S. Gary, and . Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979.

M. Davis and H. Putnam, A computing procedure for quantification theory, Communications of the ACM, vol.7, issue.3, pp.201-215, 1960.

A. Ebnenasir and S. S. Kulkarni, SAT-based synthesis of fault-tolerance, Fast Abstracts of the International Conference on Dependable Systems and Networks, 2004.

M. Gouda, The triumph and tribulation of system stabilization, Distributed Algorithms9th WDAG'95), pp.1-18, 1995.
DOI : 10.1007/BFb0022135

M. Gouda, The Theory of Weak Stabilization, 5th International Workshop on Self-Stabilizing Systems, pp.114-123, 2001.
DOI : 10.1007/3-540-45438-1_8

L. Lamport and N. Lynch, Handbook of Theoretical Computer Science: Chapter 18, Distributed Computing: Models and Methods, 1990.

M. Nesterenko and A. Arora, Stabilization-Preserving Atomicity Refinement, Journal of Parallel and Distributed Computing, vol.62, issue.5, pp.766-791, 2002.
DOI : 10.1006/jpdc.2001.1828

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Demirbas and A. Arora, Convergence refinement, Proceedings 22nd International Conference on Distributed Computing Systems, pp.589-597, 2002.
DOI : 10.1109/ICDCS.2002.1022309

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. W. Dijkstra, A Discipline of Programming, 1990.

A. Arora and S. S. Kulkarni, Designing masking fault-tolerance via nonmasking fault-tolerance, IEEE Transactions on Software Engineering, vol.24, issue.6, pp.435-450, 1998.
DOI : 10.1109/32.689401

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Varghese and M. Lcs, Self-stabilization by local checking and correction, 1993.

A. Ebnenasir, Automatic Synthesis of Fault-Tolerance, 2005.

A. Jhumka, Automated design of efficient fail-safe fault tolerance, 2004.
DOI : 10.1109/issre.2009.31

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Jhumka, F. C. Freiling, C. Fetzer, and N. Suri, An approach to synthesise safe systems, International Journal of Security and Networks, vol.1, issue.1/2, pp.62-74, 2006.
DOI : 10.1504/IJSN.2006.010824

URL : http://wrap.warwick.ac.uk/61522/1/an_approach_to_synthesise_safe_systems.pdf

B. Bonakdarpour and S. S. Kulkarni, Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space, 27th International Conference on Distributed Computing Systems (ICDCS '07), pp.3-10, 2007.
DOI : 10.1109/ICDCS.2007.109

F. Abujarad and S. S. Kulkarni, Automated constraint-based addition of nonmasking and stabilizing fault-tolerance, Theoretical Computer Science, vol.412, issue.33, pp.4228-4246, 2011.
DOI : 10.1016/j.tcs.2011.02.008

A. Farahat and A. Ebnenasir, A Lightweight Method for Automated Design of Convergence in Network Protocols, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.4, pp.1-3836, 2012.
DOI : 10.1145/2382570.2382574

A. Ebnenasir and A. Farahat, Swarm Synthesis of Convergence for Symmetric Protocols, 2012 Ninth European Dependable Computing Conference, pp.13-24, 2012.
DOI : 10.1109/EDCC.2012.22

B. Bonakdarpour and S. S. Kulkarni, Revising Distributed UNITY Programs Is NP-Complete, Proceedings of the 12th International Conference on Principles of Distributed Systems (OPODIS), pp.408-427, 2008.
DOI : 10.1145/357233.357237

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=