Automating Timing Enclaves for Reactive Programs in Lingua Franca - Robledo, Julian; Castrillon, Jeronimo (2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2025 IEEE 18th International Symposium on, MCSOC, 2025)