An analysis method for variable execution time tasks based on histograms
Formal verification of multitasking applications based on timed automata model
A time-predictable VLIW processor and its compiler support