Formal Analysis and Verication of Self-Healing Systems