CRediT (contribución de los investigadores):
Soto-Cámara, R.:
Conceptualización, Metodología, Software, Validación, Análisis formal, Investigación, Redacción - borrador original, Redacción - revisión y edición, Visualización, Supervisión.
Navalpotro-Pascual, S.:
Conceptualización, Metodología, Validación, Análisis formal, Investigación, Recursos, Redacción - borrador original, Redacción - revisión y edición, Visualización, Supervisión, Administración del proyecto, documento.contribucion.FUNDINGACQUISITION.
Jiménez-Alegre, J.J.:
Metodología, Análisis formal, Investigación, Redacción - borrador original, Visualización.
García-Santa-basilia, N.:
Metodología, Análisis formal, Investigación, Redacción - borrador original, Visualización.
Onrubia-Baticón, H.:
Metodología, Análisis formal, Investigación, Redacción - borrador original, Visualización.
Navalpotro-Pascual, J.M.:
Metodología, Software, Análisis formal, Investigación, Redacción - borrador original, Visualización.
Thuissard, I.J.:
Software, Análisis formal, Investigación, Visualización.
Fernández-Domínguez, J.J.:
Análisis formal, Investigación, Recursos, Visualización, documento.contribucion.FUNDINGACQUISITION.
Matellán-Hernández, M.P.:
Análisis formal, Investigación, Visualización.
Pastor-Benito, E.:
Análisis formal, Investigación, Visualización.
Polo-Portes, C.E.:
Análisis formal, Investigación, Visualización.
Cárdaba-García, R.M.:
Validación, Análisis formal, Investigación, Redacción - revisión y edición, Visualización.