Hehuan Shi, Lin Chen: On Batching Task Scheduling. RTSS 2022: 79-91