Thomaz, Guilherme, Matteo Sammarco, and Miguel Elias M. Campista. " Over-The-Air (OTA) Updates for Vehicular Embedded Devices with End-to-End Reliable Computing." Proceedings of the 42nd Brazilian Symposium on Computer Networks and Distributed Systems, NiterĂ³i/RJ, 2024. SBC, 2024, pp.559-573.