Benchmarks for cyber-physical systems: A modular model library for building automation systems.