Automated formalisation of informal specifications by combining LLMs and grammar-based language processing (Empirical Software Engineering (Open Access Articles), 2026)