MBSE Archive of Traceability artifacts P510, P550 (2025) - Alvarez Rodriguez, Jose Maria; Cibrian Sanchez, Eduardo (2025)