Foster, et al.. Model Checking Service Compositions Under Resource Constraints. ACM Press, 2007, doi:10.1145/1287624.1287657.