A Compositional Scheme and Framework for Safety Critical Systems Verification | Publicación