Ke Xu Yuexuan Wang Cheng Wu Formal verification technique for grid service chain model and its application. 1-20 2007 50 Science in China Series F: Information Sciences 1 http://dx.doi.org/10.1007/s11432-007-0006-9 db/journals/chinaf/chinaf50.html#XuWW07