G. De Giacomo, R. De Masellis, and F. Patrizi, “Composition of Partially Observable Services Exporting their Behaviour”, ICAPS, vol. 19, no. 1, pp. 90-97, Oct. 2009.