Towards Compositional Verification in MEDISTAM-RT Methodological Framework | Publicación