C. Pereira dos Santos, I. Gondres Torné, C. M. Seródio Figueiredo, and F. . de Sousa Cardoso, “LiteML-Edge: A Contract-Centered Framework and Methodology for Replay-Driven 1:1 Python--Firmware Validation in TinyML”, IEEE LAT AM T, vol. 24, no. 11, pp. 1293–1301, Oct. 2026.