TY - RPRT TI - Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency AU - Mario Lezoche AU - Hervé Panetto PY - 2018 UR - https://arxiv.org/abs/1810.06911 ID - 1810.06911 ER -