Constraint Refinement for Online Verifiable Cross-Layer System Adaptation | IEEE Conference Publication | IEEE Xplore