The Amaranth framework: Probabilistic, utility-based quality of service management for high-assurance computing | IEEE Conference Publication | IEEE Xplore