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