Richard Hull Web Services Composition: A Story of Models, Automata, and Logics. 2005 conf/icws/2005 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2005.133 db/conf/icws/icws2005.html#Hull05