Opportunities and Verification Challenges of Run-Time Performance Adaptation | IEEE Conference Publication | IEEE Xplore