A rigorous approach to the design of resilient cyber-physical systems through co-simulation.