Formalising Software Requirements using Large Language Models