Johannes Geismann, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, David Schmelter. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers. Volume 880 of Communications in Computer and Information Science, pages 72-93, Springer, 2017. [doi]
Abstract is missing.