John S. Fitzgerald, Ken Pierce, Carl Gamble. A rigorous approach to the design of resilient cyber-physical systems through co-simulation. In IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN 2012, Boston, MA, USA, June 25-28, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.