Ting Deng Jinpeng Huai Tianyu Wo Complexity of synthesis of composite service with correctness guarantee. 638-649 2012 55 SCIENCE CHINA Information Sciences 3 http://dx.doi.org/10.1007/s11432-011-4460-z db/journals/chinaf/chinaf55.html#DengHW12