TY - CHAP U1 - Buchbeitrag A1 - Geismann, Johannes A1 - Höttger, Robert A1 - Krawczyk, Lukas A1 - Pohlmann, Uwe A1 - Schmelter, David T1 - Automated synthesis of a real-time scheduling for cyber-physical multi-core systems T2 - Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers Y1 - 2018 SP - 72 EP - 93 PB - Springer International Publishing CY - Cham ER -