Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. - Gabriel Pedroza; Pascale Le Gall; Christophe Gaston; Fabrice Bersey (ISORC, 2016)