Schedule Synthesis for Synchronous Dataflow Models with Lower and Upper Timing Bounds. - Joep van Wanrooij; Twan Basten; Marc Geilen (ACM Trans. Embed. Comput. Syst., 2025)