restructuring/model/aggregate/service_of_jobs.v

restructuring/model/aggregate/task_arrivals.v

restructuring/model/aggregate/workload.v

restructuring/model/arrival/arrival_curves.v

restructuring/model/arrival/sporadic.v

restructuring/model/job.v

restructuring/model/preemption/preemption_model.v

restructuring/model/processor/platform_properties.v

restructuring/model/readiness/basic.v

restructuring/model/readiness/jitter.v

restructuring/model/schedule/edf.v

restructuring/model/schedule/priority_based/preemptive.v

restructuring/model/schedule/priority_based/priorities.v

restructuring/model/schedule/sequential.v

restructuring/model/schedule/tdma/tdma.v

restructuring/model/schedule/tdma/tdma_facts.v

restructuring/model/schedule/work_conserving.v

restructuring/model/task.v