TY  - RPRT
TI  - Contracts as specifications for dynamical systems in driving variable form
AU  - Bart Besselink
AU  - Karl H. Johansson
AU  - Arjan van der Schaft
PY  - 2019
UR  - https://arxiv.org/abs/1810.05542
ID  - 1810.05542
ER  -