Xinyu Zhou Wei-Tek Tsai Xiao Wei Yinong Chen Bingnan Xiao Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration. 307-314 2006 conf/icebe/2006 ICEBE http://doi.ieeecomputersociety.org/10.1109/ICEBE.2006.79 db/conf/icebe/icebe2006.html#ZhouTWCX06