Consistency in Self-Reconfiguration of Self-Healing Systems. - Michael E. Shin; Kiran Gopala Reddy Sunanda (SEKE, 2009)