@misc{indiciae3ab07f0c9bc1,
  title = {Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)},
  author = {Nathalie Cauchi and Alessandro Abate},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06315},
  note = {Source identifier: 1803.06315}
}