GRMS: a global resource management system for distributed QoS and criticality support | IEEE Conference Publication | IEEE Xplore