Compositional Safety Verification with Max-SMT | Publicación