Thomas Hartmann 0001, François Fouquet, Jacques Klein, Grégory Nain, Yves Le Traon. Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning. In Jorge Cuéllar, editor, Smart Grid Security - Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers. Volume 8448 of Lecture Notes in Computer Science, pages 139-153, Springer, 2014. [doi]
Abstract is missing.