@misc{indiciaeeb22805e8195,
  title = {Contracts as specifications for dynamical systems in driving variable form},
  author = {Bart Besselink and Karl H. Johansson and Arjan van der Schaft},
  year = {2019},
  url = {https://arxiv.org/abs/1810.05542},
  note = {Source identifier: 1810.05542}
}