Model-based evaluation of a radio resource management system for wireless networks