Bounded Model Checking for Asynchronous Hyperproperties | Publicación