Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic | Publicación