A rigorous approach to the design of resilient cyber-physical systems through co-simulation | IEEE Conference Publication | IEEE Xplore