CRediT (contribución de los investigadores):
Gutierrez-Martínez, I.:
Conceptualización, Metodología, Software, Investigación, Redacción - borrador original, Supervisión, Administración del proyecto.
González-Santos, J.:
Validación, Investigación, Curación de datos, Visualización.
Rodríguez-Fernández, P.:
Metodología, Software, Análisis formal, Curación de datos, Redacción - borrador original, Visualización.
Jiménez-Eguizábal, A.:
Validación, Redacción - revisión y edición, Visualización.
Del Barrio-Del Campo, J.A.:
Metodología, Análisis formal, Investigación, Curación de datos, Redacción - borrador original, Redacción - revisión y edición.
González-Bernal, J.J.:
Conceptualización, Análisis formal, Investigación, Curación de datos, Redacción - revisión y edición, Visualización, Supervisión, Administración del proyecto.
