Using SDL for implementing a wireless medium access control protocol | IEEE Conference Publication | IEEE Xplore