Constraint Driven Web Service Composition in METEOR-S. - Rohit Aggarwal; Kunal Verma; John A. Miller 001; William Milnor (IEEE SCC, 2004)