Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach
H. Simon Lichte, S. Valentin, H. Karl, Mobile Networks and Applications (2010) 769--785.