Stephen S. Yau Haishan Gong Dazhi Huang Wei Gao Luping Zhu Specification, decomposition and agent synthesis for situation-aware service-based systems. 1663-1680 2008 81 Journal of Systems and Software 10 http://dx.doi.org/10.1016/j.jss.2008.02.035 db/journals/jss/jss81.html#YauGHGZ08