Model Checking Medium Access Control for Sensor Networks | IEEE Conference Publication | IEEE Xplore