Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems.