Pereira dos Santos, C.; Gondres Torné, I.; Seródio Figueiredo, C. M.; de Sousa Cardoso, F. . LiteML-Edge: A Contract-Centered Framework and Methodology for Replay-Driven 1:1 Python--Firmware Validation in TinyML. IEEE LAT AM T 2026, 24, 1295-1303.