Jian Yu Yanbo Han Jun Han Yan Jin Paolo Falcarin Maurizio Morisio Synthesizing Service Composition Models on the Basis of Temporal Business Rules. 885-894 2008 23 J. Comput. Sci. Technol. 6 http://dx.doi.org/10.1007/s11390-008-9196-x db/journals/jcst/jcst23.html#YuHHJFM08