diff --git a/connector/server/src/main/resources/checklist.vdmsl b/connector/server/src/main/resources/checklist.vdmsl
new file mode 120000
index 0000000..e88e4d5
--- /dev/null
+++ b/connector/server/src/main/resources/checklist.vdmsl
@@ -0,0 +1 @@
+../../../../../formal/checklist.vdmsl
\ No newline at end of file