Quan Z. Sheng Jian Yu Zakaria Maamar Wei Jiang Xitong Li Compatibility Checking of Heterogeneous Web Service Policies Using VDM++. 821-828 2009 SERVICES I http://doi.ieeecomputersociety.org/10.1109/SERVICES-I.2009.87 conf/services/2009-1 db/conf/services/services2009-1.html#ShengYMJL09