Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency.