@misc{indiciae68859ca9931e,
  title = {Behavioural assume-guarantee contracts for linear dynamical systems},
  author = {B. M. Shali and A. J. van der Schaft and B. Besselink},
  year = {2021},
  url = {https://arxiv.org/abs/2109.07974},
  note = {Source identifier: 2109.07974}
}