Model-based development for cognitive radio applications | IEEE Conference Publication | IEEE Xplore