M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)