diff --git a/src/modelChecker/DtmcPrctlModelChecker.h b/src/modelChecker/DtmcPrctlModelChecker.h
index 3090bd87d..9a7a7be01 100644
--- a/src/modelChecker/DtmcPrctlModelChecker.h
+++ b/src/modelChecker/DtmcPrctlModelChecker.h
@@ -17,7 +17,7 @@
 #include "src/formula/ProbabilisticOperator.h"
 #include "src/formula/Until.h"
 
-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 #include "src/storage/BitVector.h"
 #include <vector>
 
diff --git a/src/models/backward_transitions.h b/src/models/BackwardTransitions.h
similarity index 100%
rename from src/models/backward_transitions.h
rename to src/models/BackwardTransitions.h
diff --git a/src/models/dtmc.h b/src/models/Dtmc.h
similarity index 99%
rename from src/models/dtmc.h
rename to src/models/Dtmc.h
index 4105c8233..01157489e 100644
--- a/src/models/dtmc.h
+++ b/src/models/Dtmc.h
@@ -11,7 +11,7 @@
 #include <ostream>
 
 #include "AtomicPropositionsLabeling.h"
-#include "backward_transitions.h"
+#include "BackwardTransitions.h"
 #include "src/storage/SquareSparseMatrix.h"
 
 namespace mrmc {
diff --git a/src/mrmc.cpp b/src/mrmc.cpp
index 07711357f..269e01d9a 100644
--- a/src/mrmc.cpp
+++ b/src/mrmc.cpp
@@ -16,7 +16,7 @@
 #include <cstdio>
 
 #include "mrmc-config.h"
-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 #include "src/storage/SquareSparseMatrix.h"
 #include "src/models/AtomicPropositionsLabeling.h"
 #include "src/parser/read_lab_file.h"