Hashimoto, 2014. Opportunities and Verification Challenges of Run-Time Performance Adaptation, in: . IEEE.. https://doi.org/10.1109/ats.2014.53