Geguang Pu Zheng Wang Lei Zhou Hanyi Zhang Tao Wang Chuchao Yang Liyang Peng Meng Sun Static validation of WS-CDL documents. 1367-1377 2009 17 Simulation Modelling Practice and Theory 8 http://dx.doi.org/10.1016/j.simpat.2009.06.013 db/journals/simpra/simpra17.html#PuWZZWYPS09