On specification-based cyber-attack detection in smart grids. - Ömer Sen; Dennis van der Velde; Maik Lühman; Florian Sprünken; Immanuel Hacker; Andreas Ulbig; Michael Andres; Martin Henze (Energy Inform., 2022)