Automated synthesis of a real-time scheduling for cyber-physical multi-core systems

J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated synthesis of a real-time scheduling for cyber-physical multi-core systems,” in Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers, Cham: Springer International Publishing, 2018, pp. 72–93.