Compositional Model-Checking Verification of Critical Systems | Publicación