Deciding Hyperproperties Combined with Functional Specifications | Publicación