Quality Criteria and an Analysis Framework for Self-Healing Systems. - Sangeeta Neti; Hausi A. Müller (SEAMS, 2007)