Model-driven system-level validation and verification on the space software domain | Publicación