A universal service-semantics description language | IEEE Conference Publication | IEEE Xplore