CARTS: Compositional Analysis of Real-Time Systems