CRediT (contribución de los investigadores):
Moscato, E.M.:
Conceptualización, Metodología, Análisis formal, Recursos, Redacción - borrador original, Redacción - revisión y edición.
Obregón-Cuesta, A.I.:
Conceptualización, Metodología, Investigación, Recursos, Redacción - borrador original, Redacción - revisión y edición, Supervisión, Administración del proyecto.
Zapatero-Moreno, M.J.:
Metodología, Software, Análisis formal, Redacción - revisión y edición, Supervisión.
González-Bernal, J.J.:
Conceptualización, Software, Validación, Análisis formal, Investigación, Curación de datos, Recursos, Supervisión, Administración del proyecto.
Fernández-Solana, J.:
Validación, Investigación, Recursos, Redacción - borrador original, Redacción - revisión y edición, Visualización.
Mínguez-Mínguez, L.A.:
Conceptualización, Análisis formal, Investigación, Recursos, Redacción - borrador original, Supervisión, Administración del proyecto.
León-del-Barco, B.:
Conceptualización, Metodología, Análisis formal, Supervisión.
Mendo-Lázaro, S.:
Conceptualización, Metodología, Software, Análisis formal.
González-Santos, J.:
Metodología, Análisis formal, Curación de datos, Visualización, Supervisión, Administración del proyecto.