De Giacomo, G.; De Masellis, R.; Patrizi, F. Composition of Partially Observable Services Exporting Their Behaviour. ICAPS 2009, 19, 90-97.