TY - RPRT TI - Behavioural assume-guarantee contracts for linear dynamical systems AU - B. M. Shali AU - A. J. van der Schaft AU - B. Besselink PY - 2021 UR - https://arxiv.org/abs/2109.07974 ID - 2109.07974 ER -