Nalaka Gooneratne Zahir Tari James Harland VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. 585-591 2008 ICSOC http://dx.doi.org/10.1007/978-3-540-89652-4_50 conf/icsoc/2008 db/conf/icsoc/icsoc2008.html#GooneratneTH08