Howard Foster Sebastián Uchitel Jeff Magee Jeff Kramer An Integrated Workbench for Model-Based Engineering of Service Compositions. 131-144 2010 3 IEEE T. Services Computing 2 http://doi.ieeecomputersociety.org/10.1109/TSC.2010.19 db/journals/tsc/tsc3.html#FosterUMK10