CRediT (contribución de los investigadores):
Patiño-Villada, F.A.:
Conceptualización, Metodología, Visualización, Supervisión, Administración del proyecto.
González-Bernal, J.J.:
Software, Análisis formal, Redacción - revisión y edición, Visualización.
González-Santos, J.:
Curación de datos, Redacción - revisión y edición, Visualización.
de Paz, J.A.:
Conceptualización, Metodología, Investigación, Visualización, Supervisión, Administración del proyecto.
Jahouh, M.:
Curación de datos, Redacción - borrador original, Visualización.
Mielgo-Ayuso, J.:
Software, Análisis formal, Redacción - borrador original, Visualización.
Romero-Pérez, E.M.:
Conceptualización, Metodología, Investigación, Visualización.
Soto-Cámara, R.:
Software, Análisis formal, Redacción - revisión y edición, Visualización.
