Working Document -- Formalising Software Requirements with Large Language Models