Geismann, Johannes, et al. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.”
Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires et al., vol. 1, Springer International Publishing, 2018, pp. 72–93, doi:
10.1007/978-3-319-94764-8_4.