On specification-based cyber-attack detection in smart grids | Publicación