TY - RPRT TI - Towards a formal notion of impact metric for cyber-physical attacks (full version) AU - Ruggero Lanotte AU - Massimo Merro AU - Simone Tini PY - 2018 UR - https://arxiv.org/abs/1806.10463 ID - 1806.10463 ER -