@inproceedings{DietterleBabanskajaDombrowskietal.2011, author = {Daniel Dietterle and Irina Babanskaja and Kai F. Dombrowski and Rolf Kraemer}, title = {High-Level Behavioral SDL Model for the IEEE 802.15.3. MAC Protocol}, year = {2011}, }