Scheduling and resource demand analysis methods in multiprocessor systems