R. Mancuso, “Next-generation safety-critical systems on multi-core platforms,” in , 2017.