Requirements-Driven Self-Repairing against Environmental Failures. - Rui-Zhi Dong; Xin Peng 001; Yijun Yu; Wenyun Zhao (TASE, 2013)