Verification of a wireless ATM medium-access protocol | IEEE Conference Publication | IEEE Xplore