Stateful requirements monitoring for self-repairing socio-technical systems. - Lingxiao Fu; Xin Peng 001; Yijun Yu; John Mylopoulos; Wenyun Zhao (RE, 2012)