Specification methodology applied to the GSM system | IEEE Conference Publication | IEEE Xplore