Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos. Monitoring and diagnosing software requirements. Automated Software Engineering, 16(1):3-35, 2009. [doi]
@article{WangMYM09, title = {Monitoring and diagnosing software requirements}, author = {Yiqiao Wang and Sheila A. McIlraith and Yijun Yu and John Mylopoulos}, year = {2009}, doi = {10.1007/s10515-008-0042-8}, url = {http://dx.doi.org/10.1007/s10515-008-0042-8}, researchr = {https://researchr.org/publication/WangMYM09}, cites = {0}, citedby = {0}, journal = {Automated Software Engineering}, volume = {16}, number = {1}, pages = {3-35}, }