Quality Criteria and an Analysis Framework for Self-Healing Systems | IEEE Conference Publication | IEEE Xplore