A Framework for Verifying SLA Compliance in Composed Services. - Hua Xiao 001; Brian Chan; Ying Zou 001; Jay W. Benayon; Bill O'Farrell; Elena Litani; Jen Hawkins (ICWS, 2008)