URL:  https://wwwen.uni.lu/research/fstm/communicative_systems_laboratory_com_sys/research/dependable_real_time_systems Date:  Tuesday, 30 November 2021, 23:03