Parametric dispatching of hard real-time tasks | IEEE Journals & Magazine | IEEE Xplore