Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure | IEEE Conference Publication | IEEE Xplore