Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga. Evaluating repair strategies for a water-treatment facility using Arcade. In Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010. pages 419-424, IEEE, 2010. [doi]
Abstract is missing.