Model Translation from Papyrus-RT into the nuXmv Model Checker | Publicación