URL:  https://wwwfr.uni.lu/recherche/fstm/communicative_systems_laboratory_com_sys/research/dependable_real_time_systems Date:  lundi 25 octobre 2021 16:06:20