Georg Grossmann Michael Schrefl Markus Stumptner Verification of Business Process Integration Options. 432-438 2006 conf/bpm/2006 Business Process Management http://dx.doi.org/10.1007/11841760_35 db/conf/bpm/bpm2006.html#GrossmannSS06