Series composition of simulation-based assume-guarantee contracts for linear dynamical systems.