Formal Analysis and Verification of Self-Healing Systems