A Model-Driven TTFS Translation for ReLU Neural Networks. - Michal Michniak; Kamil Jeziorek; Tomasz Kryjak (SPA, 2025)