A Temporal Logic for Hyperproperties | Publicación