ZhangBing Zhou, Laurence Tianruo Yang, Sami Bhiri, Lei Shu, Naixue Xiong, Manfred Hauswirth. Verifying mediated service interactions considering expected behaviours. J. Network and Computer Applications, 34(4):1043-1053, 2011. [doi]
Abstract is missing.