CRediT (contribución de los investigadores):
Simón-Vicente, L.:
Conceptualización, Curación de datos, Análisis formal, Investigación, Metodología, Software, Validación, Redacción - borrador original, Redacción - revisión y edición.
Rodríguez-Fernández, A.:
Conceptualización, Investigación, Metodología, Administración del proyecto, Software, Redacción - borrador original, Redacción - revisión y edición.
Rivadeneyra-Posadas, J.:
Curación de datos, Supervisión, Redacción - revisión y edición.
Soto-Célix, M.:
Conceptualización, documento.contribucion.FUNDINGACQUISITION, Investigación, Redacción - revisión y edición.
Raya-González, J.:
Investigación, Metodología, Software, Validación.
Castillo-Alvira, D.:
Curación de datos, Análisis formal, Investigación, Software, Supervisión, Redacción - borrador original, Redacción - revisión y edición.
Calvo, S.:
Curación de datos, Análisis formal, Validación.
Mariscal, N.:
Metodología, Visualización, Redacción - revisión y edición.
García-Bustillo, Á.:
Supervisión, Redacción - revisión y edición.
Aguado, L.:
Investigación, Administración del proyecto, Validación, Redacción - revisión y edición.
Cubo, E.:
Conceptualización, Curación de datos, Análisis formal, documento.contribucion.FUNDINGACQUISITION, Validación, Redacción - borrador original, Redacción - revisión y edición.
