An SDL methodology used for specifying the radio protocols in a CDMA system | IEEE Conference Publication | IEEE Xplore