@misc{indiciaef61fec02b76d,
  title = {Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models},
  author = {Ran Wei and Le Zhu and Haochi Wang and Ruizhe Yang and Jiapeng Guan and Siyuan Ji and Yuchen Hu and Zhe Jiang and Xiangyang Ji},
  year = {2026},
  url = {https://arxiv.org/abs/2607.16708},
  note = {Source identifier: 2607.16708}
}