CRediT (contribució dels investigadors):
Ragusa, A.:
Conceptualització, Metodologia, Programari, Validació, Anàlisi formal, Recerca, Recursos, Cura de dades, Redacció (esborrany original), Redacció (revisió i edició), Visualització, Administració del projecte.
Caggiano, V.:
Conceptualització, Metodologia, Programari, Validació, Anàlisi formal, Recerca, Redacció (revisió i edició), Visualització, Supervisió, Administració del projecte.
Trigueros Ramos, R.:
Conceptualització, Metodologia, Programari, Validació, Anàlisi formal, Recursos, Redacció (revisió i edició), Visualització, Supervisió, Administració del projecte.
González-Bernal, J.J.:
Conceptualització, Metodologia, Programari, Validació, Anàlisi formal, Redacció (revisió i edició), Visualització, Supervisió, Administració del projecte.
Gentil-Gutiérrez, A.:
Cura de dades, Redacció (esborrany original), Redacció (revisió i edició), Visualització.
Bastos, S.A.M.C.:
Cura de dades, Redacció (esborrany original), Redacció (revisió i edició), Visualització.
González-Santos, J.:
Redacció (esborrany original), Redacció (revisió i edició), Visualització.
Santamaría-Peláez, M.:
Cura de dades, Redacció (esborrany original), Redacció (revisió i edició), Visualització.