High-level estimation and trade-off analysis for adaptive real-time systems | IEEE Conference Publication | IEEE Xplore