Compositional safety verification with Max-SMT | Publicación