Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra: [dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. Zenodo 2021