Consequence Oriented Self-Healing and Autonomous Diagnosis for Highly Reliable Systems and Software. - Dai, Yuanshun; Xiang, Yanping; Li, Yan-Fu; Xing, Liudong; Zhang, Gewei (IEEE Trans. Reliab., 2011)