Yiqiao Wang Sheila A. McIlraith Yijun Yu John Mylopoulos An automated approach to monitoring and diagnosing requirements. 293-302 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321675 db/conf/kbse/ase2007.html#WangMYM07