“…For example, in [30], [31], we showed that all the bound results of static priority scheduling algorithms obtained in [2], [3], [4], [5], [6], [7], [8] can be unified into our framework and expressed by one parameterized formula. Similarly, in [32], [33], [34], we showed that all existing bound results of weighted round robin schedulers obtained in [9], [10], [11] can be derived using our proposed framework.…”