Scheduling feasibility, Processor cpu1 : - The feasibility interval is 16.0, see Goossens-Cucu-Grolleau (2016) - 4 units of time are unused in the feasibility interval.