FM01.1.11 A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems Start 18:00 End 21:00 Author Sumana Ghosh, TUM, Germany