Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091). - Jerónimo Castrillón Mazo; Chadlia Jerad; Edward A. Lee; Claire Pagetti; Shaokai Jerry Lin (Dagstuhl Reports, 2025)