John S. Fitzgerald, Ken G. Pierce, Carl Gamble: A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops 2012: 1-6