A653MSim: An ARINC 653 Multicore Simulator. - Jean-Baptiste Lefoul; Felipe Gohring de Magalhaes; Brandon Bhatnagar; Gabriela Nicolescu (SimuTools, 2024)