A constraint satisfaction language for intelligent self-correction of software-defined radio configurations | IEEE Conference Publication | IEEE Xplore