diff --git a/restructuring/analysis/abstract/core/abstract_seq_rta.v b/restructuring/analysis/abstract/core/abstract_seq_rta.v
index 425abc47431dd84f169e0b567bae96c3feb1ebd3..98c0f7ba978ce39ca7855499106b85b3360df7ca 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.task.preemption.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.task.sequential.
+Require Import rt.restructuring.model.task.sequentiality.
 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 6ecd2d6943c38ba29c4758be121ea8fcbf89e571..6e2a74c4989098491bcc81a9b00846f61e0ff297 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.concept.
 Require Export rt.restructuring.model.aggregate.workload.
 Require Import rt.restructuring.model.schedule.work_conserving.
-Require Import rt.restructuring.model.task.sequential.
+Require Import rt.restructuring.model.task.sequentiality.
 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 d294e535cceeeec12615361ac1ba5f864a4f70a9..75efd68ab39c5172e1bdb7a765166456c618686b 100644
--- a/restructuring/analysis/basic_facts/sequential.v
+++ b/restructuring/analysis/basic_facts/sequential.v
@@ -1,4 +1,4 @@
-Require Export rt.restructuring.model.task.sequential.
+Require Export rt.restructuring.model.task.sequentiality.
 
 Section ExecutionOrder.
   (** Consider any type of job associated with any type of tasks... *)
diff --git a/restructuring/model/task/sequential.v b/restructuring/model/task/sequentiality.v
similarity index 100%
rename from restructuring/model/task/sequential.v
rename to restructuring/model/task/sequentiality.v