diff --git a/restructuring/analysis/abstract/core/abstract_seq_rta.v b/restructuring/analysis/abstract/core/abstract_seq_rta.v
index 6aad4b710b860448422d851b453b1893f7a491e3..a3c9c216761590278ff178ef2d891c570c139415 100644
--- a/restructuring/analysis/abstract/core/abstract_seq_rta.v
+++ b/restructuring/analysis/abstract/core/abstract_seq_rta.v
@@ -9,7 +9,7 @@ Require Import rt.restructuring.model.preemption.task.parameters.
 Require Import rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.job_preemptable.
 Require Import rt.restructuring.model.arrival.arrival_curves.
 
-Require Import rt.restructuring.model.schedule.sequential.
+Require Import rt.restructuring.model.task.sequential.
 Require Import rt.restructuring.analysis.schedulability.
 Require Import rt.restructuring.analysis.basic_facts.ideal_schedule.
 Require Import rt.restructuring.analysis.basic_facts.workload.
diff --git a/restructuring/analysis/abstract/instantiations/ideal_processor.v b/restructuring/analysis/abstract/instantiations/ideal_processor.v
index 82f4d27d3233a6f54d79ce2a77854d5a0c37b0ab..41901dc53d07a7dbc1aae0647fa87d68052c3efe 100644
--- a/restructuring/analysis/abstract/instantiations/ideal_processor.v
+++ b/restructuring/analysis/abstract/instantiations/ideal_processor.v
@@ -2,7 +2,7 @@ Require Export rt.restructuring.analysis.definitions.job_properties.
 Require Export rt.restructuring.model.task.
 Require Export rt.restructuring.model.aggregate.workload.
 Require Import rt.restructuring.model.schedule.work_conserving.
-Require Import rt.restructuring.model.schedule.sequential.
+Require Import rt.restructuring.model.task.sequential.
 Require Import rt.restructuring.model.priority.classes.
 Require Import rt.restructuring.analysis.definitions.busy_interval.
 Require Import rt.restructuring.analysis.definitions.priority_inversion.
diff --git a/restructuring/analysis/basic_facts/sequential.v b/restructuring/analysis/basic_facts/sequential.v
index d89a86b504affd8db21ead89b708defd811fbe25..d294e535cceeeec12615361ac1ba5f864a4f70a9 100644
--- a/restructuring/analysis/basic_facts/sequential.v
+++ b/restructuring/analysis/basic_facts/sequential.v
@@ -1,4 +1,4 @@
-Require Export rt.restructuring.model.schedule.sequential.
+Require Export rt.restructuring.model.task.sequential.
 
 Section ExecutionOrder.
   (** Consider any type of job associated with any type of tasks... *)
diff --git a/restructuring/model/schedule/sequential.v b/restructuring/model/task/sequential.v
similarity index 100%
rename from restructuring/model/schedule/sequential.v
rename to restructuring/model/task/sequential.v