Yiqiao Wang Sheila A. McIlraith Yijun Yu John Mylopoulos Monitoring and diagnosing software requirements. 3-35 2009 16 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-008-0042-8 db/journals/ase/ase16.html#WangMYM09