feat(proposal): add vdm reference

pub/proposal/proposal.tex

@@ -1,4 +1,4 @@
-\documentclass[a4paper]{article}
+\documentclass[a4paper, british]{article}
 
 \usepackage{csquotes}
 
@@ -14,6 +14,8 @@
 \usepackage{pgfgantt}
 \usepackage{moresize}
 
+\usepackage{babel}
+
 % For referencing
 \usepackage[citestyle=ieee]{biblatex}
 \addbibresource{references.bib}
@@ -289,7 +291,10 @@ As a result, this will also test the reproducibility of the checklist's goal.
   %\ganttlinkedmilestone{Finish Model}{2024-03-24} \ganttnewline
 
   % Frontend
-  \ganttgroup{Manager}{2024-03-11}{2024-03-24} \ganttnewline
+  \ganttgroup{
+    Checklist \ganttalignnewline
+    Manager%
+  }{2024-03-11}{2024-03-24} \ganttnewline
   \ganttbar{%
     Create\ganttalignnewline
     Frontend%
@@ -384,9 +389,10 @@ during the holidays is to prevent the problem of getting up to speed again
 once the term starts, hence the tasks are simple which should allow for 
 taking more breaks from work during the holidays.
 
-The last tasks in the VDM modelling is not essential to provide a proof of 
-concept of the checklist tester, as they are features that would improve the 
-test quality. This would allow for redundancy if time were to become a problem 
+The last tasks in the Vienna Development Method (VDM)~\cite{vdm} modelling 
+is not essential to provide a proof of concept of the checklist tester,
+as they are features that would improve the test quality. 
+This would allow for redundancy if time were to become a problem 
 as these tasks could be taken out, in favour of writing the dissertation,
 and could be implemented at another time.
 

pub/proposal/references.bib

@@ -75,3 +75,10 @@
   url = {https://www.caa.co.uk/cap745},
 }
 
+@online{vdm,
+  author = {The Overture Project},
+  title = {The Vienna Development Method},
+  url = {https://www.overturetool.org/method/},
+  urldate = {2024-02-23},
+}
+