A metric and mixed-integer-programming-based approach for resource allocation in dynamic real-time systems | IEEE Conference Publication | IEEE Xplore