TY  - RPRT
TI  - Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)
AU  - Nathalie Cauchi
AU  - Alessandro Abate
PY  - 2018
UR  - https://arxiv.org/abs/1803.06315
ID  - 1803.06315
ER  -