High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs