George Koliadis Aditya Ghose Verifying Semantic Business Process Models in Inter-operation. 731-738 2007 conf/IEEEscc/2007 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2007.128 db/conf/IEEEscc/scc2007.html#KoliadisG07