CRediT (contribución de los investigadores):
González-Santos, J.:
Conceptualización, Validación, Investigación, Recursos, Redacción - revisión y edición, Visualización, Administración del proyecto.
Rodríguez-Fernández, P.:
Conceptualización, Software, Recursos, Curación de datos, Redacción - borrador original, Redacción - revisión y edición.
Pardo-Hernández, R.:
Validación, Análisis formal, Recursos, Redacción - borrador original, Supervisión.
González-Bernal, J.J.:
Conceptualización, Validación, Curación de datos, Visualización, Supervisión, Administración del proyecto.
Fernández-Solana, J.:
Conceptualización, Metodología, Investigación, Recursos, Redacción - borrador original, Redacción - revisión y edición, Supervisión.
Santamaría-Peláez, M.:
Metodología, Software, Análisis formal, Investigación, Visualización, Administración del proyecto.