Fuad Abujarad, Sandeep S. Kulkarni. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. In 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009. pages 119-128, IEEE, 2009. [doi]
Abstract is missing.