Service specification description using extended message sequence charts between network and users | IEEE Conference Publication | IEEE Xplore