A definition of the XTP service and its formal specification | IEEE Conference Publication | IEEE Xplore