diff --git a/TODO.txt b/TODO.txt
new file mode 100644
index 0000000000000000000000000000000000000000..6197e62b54153e6e497c07f49a31db5112eb457d
--- /dev/null
+++ b/TODO.txt
@@ -0,0 +1,5 @@
+Validation of generated trace files: Parsing the trace files
+
+Missing constructs:
+ - SEES, INCLUDES, REFINES, IMPORTS
+ - sequential composition, while loop
\ No newline at end of file