CRediT (contribución de los investigadores):
Obregón-Cuesta, A.I.:
Conceptualización, Metodología, Investigación, Recursos, Administración del proyecto.
Mínguez-Mínguez, L.A.:
Conceptualización, Visualización.
León-Del-barco, B.:
Conceptualización, Metodología, Software, Validación, Análisis formal, Investigación, Recursos, Curación de datos, Supervisión, Administración del proyecto.
Mendo-Lázaro, S.:
Conceptualización, Metodología, Software, Validación, Análisis formal, Investigación, Recursos, Curación de datos, Supervisión, Administración del proyecto.
Fernández-Solana, J.:
Metodología, Software, Validación, Análisis formal, Investigación, Curación de datos, Redacción - borrador original, Redacción - revisión y edición, Visualización.
González-Santos, J.:
Visualización.
González-Bernal, J.J.:
Conceptualización, Validación, Investigación, Recursos, Supervisión, Administración del proyecto.