publication venue for DECNTR: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design 2024