Modeling and test generation for worst-case performance evaluation of MAC protocols for wireless ad hoc networks | IEEE Conference Publication | IEEE Xplore