Wei-Tek Tsai Xinyu Zhou Yinong Chen SOA Simulation and Verification by Event-Driven Policy Enforcement. 165-172 2008 Annual Simulation Symposium http://doi.ieeecomputersociety.org/10.1109/ANSS-41.2008.30 conf/anss/2008 db/conf/anss/anss2008.html#TsaiZC08