Boundary conditions for snapshot-based spoofing detection using OSNMA unpredictable symbols | Publicación