CRediT (contribución de los investigadores):
Jahouh, M.:
Conceptualización, Metodología, Investigación, Redacción - borrador original, Redacción - revisión y edición, Visualización, Supervisión.
González-Bernal, J.J.:
Conceptualización, Software, Análisis formal, Curación de datos, Redacción - revisión y edición, Visualización, Supervisión.
González-Santos, J.:
Conceptualización, Metodología, Investigación, Visualización.
Fernández-Lázaro, D.:
Análisis formal, Curación de datos, Visualización.
Soto-Cámara, R.:
Software, Análisis formal, Curación de datos, Redacción - borrador original, Redacción - revisión y edición, Visualización.
Mielgo-Ayuso, J.:
Software, Análisis formal, Curación de datos, Redacción - borrador original, Redacción - revisión y edición, Visualización.