Dynamically Reconfigurable Radios from a High-Level Specification | IEEE Conference Publication | IEEE Xplore