CRediT (contribución de los investigadores):
González-Bernal, J.J.:
Conceptualización, Metodología, Software, Análisis formal, Investigación, Curación de datos, Visualización, Supervisión, Administración del proyecto.
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.
Rodríguez-Fernández, P.:
Software, Análisis formal, Investigación, Redacción - borrador original, Visualización.
Del Barco, B.L.:
Validación, Redacción - borrador original, 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.
