Stephen S. Yau Haishan Gong Dazhi Huang Wei Gao Luping Zhu Automated Agent Synthesis for Situation Awareness in Service-Based Systems. 503-512 2006 conf/compsac/2006 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.30 db/conf/compsac/compsac2006-1.html#YauGHGZ06