LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability. - Yili Jiang; Zhuoran Yan; Ning Ge 002; Yuan Wang; Jiahao Weng; Chunming Hu (FASE, 2026)