Geismann J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds.
Model-Driven Engineering and Software Development. Vol 1. Springer International Publishing; 2018:72-93. doi:
10.1007/978-3-319-94764-8_4