1. T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weeravarana, Business Process Execution Language for Web Services (version 1.1), 2003
2. Synthy: A system for end to end composition of Web services;Agarwal;Journal of Web Semantics: Science, Services and Agents on the World Wide Web,2005
3. J.L. Ambite, D. Kapoor, Automatically composing data workflows with relational descriptions and shim services, in: Proc. of ISWC'07, 2007
4. Controller synthesis for timed automata;Asarin,1998