Benchmarks for cyber-physical systems: A modular model library for building automation systems (IFAC Conference on Analysis and Design of Hybrid Systems, 2018)

(untitled) - Cauchi, N; Abate, A