Abstract: The schedule-abstraction framework is a reachability-based response time analysis framework. It was successfully used to analyse many different task models on single core and under global ...