Bounded Model Checking for Hyperproperties | Publicación