Toward a formalism to study the scheduling of cyber-physical systems simulations. - Henrick Deschamps; Gerlando Cappello; Janette Cardoso; Pierre Siron (DS-RT, 2017)