Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers | IEEE Conference Publication | IEEE Xplore