Temporal Logics for Hyperproperties | Publicación