CRediT (contribución de los investigadores):
Gonzalez-Bernal, J.J.:
Conceptualización, Metodología, Software, Análisis formal, Investigación, Curación de datos, Redacción - revisión y edición, Visualización, Supervisión, Administración del proyecto.
Rodríguez-Fernández, P.:
Software, Análisis formal, Investigación, Redacción - borrador original.
Santamaría-Peláez, M.:
Conceptualización, Metodología, Validación, Investigación, Curación de datos, Visualización, Supervisión, Administración del proyecto.
González-Santos, J.:
Metodología, Investigación, Curación de datos, Redacción - revisión y edición, Visualización.
León-Del-barco, B.:
Validación, Redacción - borrador original, Visualización.
Minguez, L.A.:
Investigación, Visualización.
Soto-Cámara, R.:
Metodología, Software, Análisis formal, Investigación, Curación de datos, Redacción - revisión y edición, Visualización.
