A specification of the XTP service in LOTOS