A wireless link protocol: design by refinement | IEEE Conference Publication | IEEE Xplore