Towards an automated and auditable industrial safety inspection using robots and blockchain - Garcia, Rodrigo Dutra; Henriques, Miguel Bragante; Cid, André Luiz Maciel; Cruz Júnior, Gilmar; Azpúrua, Héctor; Ramachandran, Gowri Sankar; Saboia, Maíra; Freitas, Gustavo M; Pessin, Gustavo; Ueyama, Jó (SN Computer Science, 2025)