{"as_of":"2026-08-19T14:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dc5a0a7159c6105ea250e577e2a5b8ebe00e594fdbfca0bac3817edef7762351","coverage":[{"denominator":93,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":93,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T20:16:14.865202Z","state":"measured"},{"denominator":93,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":93,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.16708/citation-record","integrity":"/paper/2607.16708/integrity","json":"/paper/2607.16708/citation-record.json","paper":"/paper/2607.16708"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:05.620144Z","title":"Functional safety of electrical/electronic/programmable electronic safety-related systems","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.620144Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:f3e6ee9462a911ad6c04286e75fe8ca5eed333bb6762409e2ea17b0943b1f8c3","observation_id":"64a3eec4-e2df-475b-aa7e-86db4141cadb","resolution":{"observed_at":"2026-08-01T20:16:05.620144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:05.685808Z","title":"Road Vehicles – Functional Safety","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.685808Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:e624d1cbd852d6e78349415fa3db22d16db574ee5a5dcd532df026bb15af34d0","observation_id":"9123f37f-299c-4bc5-996f-f04ffcf079c1","resolution":{"observed_at":"2026-08-01T20:16:05.685808Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-01T20:16:05.735997Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.735997Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:8a9902438d8a2b3ddc2f50e75aba50661e32f0065282323f3da4e7077621d4a6","observation_id":"cab28dec-6bc6-41ac-b906-5510994295c3","resolution":{"observed_at":"2026-08-01T20:16:05.735997Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:05.792396Z","title":"Nolan, Julia Rubin, and Yael Shaham-Gafni","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.792396Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:7f134d3cf1d1dc5ddba72356497392fe58d771af587c382f30d624e94239f573","observation_id":"c4cc25bb-0650-4e10-8c7d-8b883e45b355","resolution":{"observed_at":"2026-08-01T20:16:05.792396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:05.847826Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.847826Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:9ca7c619b072b43d7add2efccf8a149546d1287aaffb82d5cc3ab84b6bdf109a","observation_id":"d476143d-4aaf-4aba-96fc-265722ce1f20","resolution":{"observed_at":"2026-08-01T20:16:05.847826Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:05.970039Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.970039Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:77097701c506f6867e71231749f955b7605e6d83100ab5a59064ccf2b9b60a07","observation_id":"e087beb4-f510-4f6f-a7e8-50d1fbf7d7eb","resolution":{"observed_at":"2026-08-01T20:16:05.970039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.029108Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.029108Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:a9e72c5526231ac382c75636024491259ecb492256956335dae38a6d9d7089aa","observation_id":"4a6699b6-a47f-4411-805f-bd6f03ac599e","resolution":{"observed_at":"2026-08-01T20:16:06.029108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10410","last_updated":"2020-06-17T17:49:58Z","snapshot_observed_at":"2026-08-13T13:37:56.969016Z","submitted_at":"2020-02-24T17:55:10Z","title":"Lagrangian Decomposition for Neural Network Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10410","snapshot_observed_at":"2026-08-01T20:16:06.086400Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.086400Z"},"links":{"cited_paper":"/paper/2002.10410","citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:180591c111764b3ae59a453e6134af7f14cb42baf86da14c5fa26b0df4e0e147","observation_id":"17c6c526-6a7b-4ca7-9af1-0efc45c97c17","resolution":{"observed_at":"2026-08-01T20:16:06.086400Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.137555Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.137555Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:619d5c8c5ef85f2b7a429cbec596e14e0f46cdce14c9afdd608b04cf547f945e","observation_id":"3bc3c957-a149-45ca-a20b-a44e48659da8","resolution":{"observed_at":"2026-08-01T20:16:06.137555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.192592Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.192592Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:5724009b033e614e492898fb59b3fbb43319bae124416b8215d9446dd047e89b","observation_id":"15266ca1-7d64-443c-8a10-71bacedb8dd2","resolution":{"observed_at":"2026-08-01T20:16:06.192592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.245882Z","title":"2021.Software Architecture in Practice(4th ed.)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.245882Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:29097565f165830990f2a13e6a741a3c8eccde31c8034ce6263c35aaf106ef98","observation_id":"8fc23941-d6c4-4d96-8740-28ba01eeae59","resolution":{"observed_at":"2026-08-01T20:16:06.245882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.291533Z","title":"2024.Introducing SysEngBench: A novel benchmark for assessing large language models in systems engineering","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.291533Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:7279c8059e380d0a3e79ae4874ba1afa75a07fea75440f5e2b7f84f92662830d","observation_id":"24d3d205-7fe8-4779-9ea3-4ae1e68151d1","resolution":{"observed_at":"2026-08-01T20:16:06.291533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.346563Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.346563Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:87fc479f34cce925707308dd468ea3cf900b7d68dc98c1d9f6a92081ac383e82","observation_id":"0d7112a3-3e68-4b3f-bab5-37cf4e8fe212","resolution":{"observed_at":"2026-08-01T20:16:06.346563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.416970Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.416970Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:cb082fed5eb6ce34d03a1f38d48e08609fba6094a901208a197efff20b107f7a","observation_id":"73d93a32-6a45-48e0-91e9-c8a655170116","resolution":{"observed_at":"2026-08-01T20:16:06.416970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.511351Z","title":"2016.Implementing domain-specific languages with Xtext and Xtend","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.511351Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:a455d52f54282b9c84288673e852c1e7f2f0a490c3fd51994bde60d92f002869","observation_id":"c215469d-87a3-4929-994d-216407a02f67","resolution":{"observed_at":"2026-08-01T20:16:06.511351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.546167Z","title":"2017.Model-driven software engineering in practice","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.546167Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:6a915ec78cbfeac8a581615f1f7a906d0db9cb1378521faed89553270f866cd2","observation_id":"a1944fd6-d20f-4518-adfc-822f2bbc4f3e","resolution":{"observed_at":"2026-08-01T20:16:06.546167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.611348Z","title":"Briand, Yvan Labiche, and Leeshawn O’Sullivan","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.611348Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:6fae0465743fe0cca5d4c26e5995be0df31f37c8b19faa186387472de91c7cef","observation_id":"ec0c060e-556e-4839-85eb-daf1f3f7aacf","resolution":{"observed_at":"2026-08-01T20:16:06.611348Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.614148Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.614148Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:dcd0849de07367f55519132540d68aa77833e63d8c137bf8b3b5e48e561eae91","observation_id":"d7338eef-4ec4-4c2b-99ac-6efa2499b24f","resolution":{"observed_at":"2026-08-01T20:16:06.614148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.617680Z","title":"1987.No silver bullet","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.617680Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:aaef6f72c49997c1af8c46c51700dbc48e9a96649b9fa60eeb9d72eb2e3c8546","observation_id":"6b3f80c9-b674-4761-b421-f45a8a9eba96","resolution":{"observed_at":"2026-08-01T20:16:06.617680Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.696018Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.696018Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:42e21a058e5a4b8fac45854c2045f83d91fe256d6c40fbc66f85caac125c096d","observation_id":"ed96058f-9850-4c12-a9be-63ba93c968a7","resolution":{"observed_at":"2026-08-01T20:16:06.696018Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:06.865044Z","title":"Kolovos, and Jordi Cabot","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:06.865044Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:40b7bfcc95399ad879cdd201263b4a5595701457293c39bfb18fab859be134b1","observation_id":"f5925821-2e33-45fc-885d-b233bb07a741","resolution":{"observed_at":"2026-08-01T20:16:06.865044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.111691Z","title":"Paige, and Alfonso Pierantonio","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.111691Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:90a4e30d46f33f0f91605f6f8e463d4306dc01060bb96306bcfedcb8ba43aedb","observation_id":"7de88e20-ad89-4cf3-82e1-431dcb22e988","resolution":{"observed_at":"2026-08-01T20:16:07.111691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.252474Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.252474Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:ad540afd7cffc423dd474a7c8d6a0576d8b9842e9b6da2414c1036672a90b84b","observation_id":"c2a1be84-c7c1-4415-aa7c-a08523f7a613","resolution":{"observed_at":"2026-08-01T20:16:07.252474Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.414204Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.414204Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:1f85fe57c631c558ff5c77c6d533849357528b63a728b532cdbed875e805dd14","observation_id":"87fec967-e1e6-4b4e-af5d-ebf8dd9588f6","resolution":{"observed_at":"2026-08-01T20:16:07.414204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.520940Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.520940Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:73416a56839a656159ce09adeeaf8574fc195fc0d4418ce7a6331d5ae521f6fd","observation_id":"2c715cbb-a36c-4d0d-ba97-f8aca0f6b444","resolution":{"observed_at":"2026-08-01T20:16:07.520940Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.635577Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.635577Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:b8614e10043699dc80d63ad7fb371d2c9a39a8e7d0dff4fca4eb29803f2798a7","observation_id":"bdb7572a-eb39-4616-95b7-34ec39dda98f","resolution":{"observed_at":"2026-08-01T20:16:07.635577Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.733313Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.733313Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:2419b19abf210878b98d33c7a622d155b178e3d104b2a96025b47c8b961da012","observation_id":"9263a0ba-05cd-410c-be22-9e86efbbc69c","resolution":{"observed_at":"2026-08-01T20:16:07.733313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:07.848855Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:07.848855Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:6337386d814a878b8e5fe64608641e44f323c44f38cf65305fc32fd8704f5185","observation_id":"0a7e05f2-5b58-4a8a-a46b-fda36891fdec","resolution":{"observed_at":"2026-08-01T20:16:07.848855Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.007011Z","title":"2012.Software and systems traceability","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.007011Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:c9133f8b5601b03869672906c6854f650d4e6c4842d496cb478d18500b5dc3b3","observation_id":"35fcb9ce-4f9a-4c4f-a053-057b13cedc8e","resolution":{"observed_at":"2026-08-01T20:16:08.007011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.167649Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.167649Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:8793e94f5cfa0266299945aabb37df953c975a3a213d05bfdfc829b814b05ab3","observation_id":"5ae6ff83-14b5-4487-ba94-83f06b25b9af","resolution":{"observed_at":"2026-08-01T20:16:08.167649Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.333834Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.333834Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:68dfc680c1b790550aa7a288e3c8c483cd732eca4d6f69ae0b4cae4e69cc2779","observation_id":"7ee8f9f8-b603-4099-82d8-280714b57841","resolution":{"observed_at":"2026-08-01T20:16:08.333834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.499748Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.499748Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:f6aafab5dab6ce8dc03f576f5365a54f61c981e265dd4a8d62da3fc15901bafc","observation_id":"1bfe46aa-9ac5-4e77-9b61-9f90fd072b20","resolution":{"observed_at":"2026-08-01T20:16:08.499748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.616278Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.616278Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:c16cf3e914bdd7968523f94f77db512352fb00951d00e27cbdee278ee4c56453","observation_id":"01ae9bbc-85a5-4f67-ae0f-e1ed72be5d80","resolution":{"observed_at":"2026-08-01T20:16:08.616278Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.740425Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.740425Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:9a94b52b27f5c0f37164f4af4b67053b77009964c44118571ba9da02957015d3","observation_id":"36d6b633-1a71-48de-8be2-ff8bc96159cf","resolution":{"observed_at":"2026-08-01T20:16:08.740425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:08.895178Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:08.895178Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:89dc4d9d43cde5fe0d8858f5a8612dae072140990865b29dd65a83a6b0e32102","observation_id":"13011ab4-c331-4b0a-8fab-6a5b0ffea5c7","resolution":{"observed_at":"2026-08-01T20:16:08.895178Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.063419Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.063419Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:a6efd1b08399b73929c071c184e912d7450a0e06c530e8f7a566fa5b9eb955f9","observation_id":"d08fd242-a887-4cfc-9ab6-86e8ba5d7fae","resolution":{"observed_at":"2026-08-01T20:16:09.063419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.225755Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.225755Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:af745aecb3bd33fccac9b6e6e16890dbb1e25e0fcf4968be6d822ab52e02e32e","observation_id":"f6d1d21a-3d77-4a95-9c0d-bf66e43c11cc","resolution":{"observed_at":"2026-08-01T20:16:09.225755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.346395Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.346395Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:55dab1af80bdc1c3328cd9f79f4ed446296976b241b45497a637f8824bba3858","observation_id":"688ceaa8-a632-405f-8a0b-1f42f1534427","resolution":{"observed_at":"2026-08-01T20:16:09.346395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.491865Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.491865Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:71beecd4dc15e8c8af27ba54e263afa0977e83a9d4c8c3a22a9b6a08382df606","observation_id":"1c8258c5-342b-4213-b2bd-9d26bbf37d0c","resolution":{"observed_at":"2026-08-01T20:16:09.491865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.656457Z","title":"Chawla, Olaf Wiest, and Xiangliang Zhang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.656457Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:376d3d92fe0055eb17b3abfea867c9aabbd21b41d75e859f916fc7136bca9fc8","observation_id":"3cbe4649-b080-4cfa-b373-7255ba105247","resolution":{"observed_at":"2026-08-01T20:16:09.656457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.753148Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.753148Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:acb34f1c1cb5d5452cf1f19a1c6ef98c4ce1e360af407dfa679b2f90d102ff5c","observation_id":"5d1b65ad-89ae-43c0-ae18-d4fe013df452","resolution":{"observed_at":"2026-08-01T20:16:09.753148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.979585Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.979585Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:35d04f7031d9304bfa6550755f79349421db7bf1cd69fcc5dc8d92bc5a583217","observation_id":"f20442d5-4efd-4de7-abe2-be58f00c1f05","resolution":{"observed_at":"2026-08-01T20:16:09.979585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:09.870877Z","title":"InInternational Conference on Learning Representations, Vol","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:09.870877Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:55c99a1960328bfdcd3dab334cdd462dbc6ad3367b349287314576907a58ef39","observation_id":"fcd19c09-833a-4cd2-b2ce-e3df6efb05db","resolution":{"observed_at":"2026-08-01T20:16:09.870877Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.250387Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.250387Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:bed3c7b7dc448153a0310fedf9abaf89ed94feaa7c7b53b9980d14a7c6185916","observation_id":"493ca008-269f-4dba-8782-415ea2c7c898","resolution":{"observed_at":"2026-08-01T20:16:10.250387Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.134225Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.134225Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:c15bb58ed425fbc281ead783bd9ebf64304b5f7440b7f4012f74ea4171d09839","observation_id":"a859866f-aaf7-4643-b4d7-36353657b2f1","resolution":{"observed_at":"2026-08-01T20:16:10.134225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.480181Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.480181Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:70d01cbb4bb9f99b8f86f20034fd4dad90c5ad73414244fca16c09e2645ef6c8","observation_id":"39bb87b2-8d2e-4f2b-916e-7957919cc57d","resolution":{"observed_at":"2026-08-01T20:16:10.480181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.03256","last_updated":"2024-05-06T08:24:55Z","snapshot_observed_at":"2026-08-16T13:55:08.534126Z","submitted_at":"2024-05-06T08:24:55Z","title":"MARE: Multi-Agents Collaboration Framework for Requirements Engineering","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.03256","snapshot_observed_at":"2026-08-01T20:16:10.354322Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.354322Z"},"links":{"cited_paper":"/paper/2405.03256","citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:2bee96178a1097425df4a3d1964aef6e95857e72c3db0ac440a11e67af38a7a1","observation_id":"07e25a6d-01a3-4bd8-8756-0c1b45d67be4","resolution":{"observed_at":"2026-08-01T20:16:10.354322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.702484Z","title":"2008.Software Language Engineering: Creating Domain-Specific Languages Using Metamodels","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.702484Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:1b9ac00c9e8d401b89334df2894fd90f35d0f1bbafbfee034d998660c90f6ce5","observation_id":"53c28f31-9dc1-4a5e-916a-c0c996019476","resolution":{"observed_at":"2026-08-01T20:16:10.702484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.574391Z","title":"1999.Arguing safety: a systematic approach to managing safety cases","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.574391Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:13d6356f6ed16405f8597b52cdc9bbfc931f4deeea9203ce55302015bc24824e","observation_id":"e1b0ebf7-b74b-4d1e-b2cd-77657d661e6b","resolution":{"observed_at":"2026-08-01T20:16:10.574391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11787044_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"fd0f4204-0c36-43e3-b3cf-029f9b77e2cf","year":2006},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.819680Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:583dde305339fa1899c9fa7bda546a3c34e9a8272d6fa4748140636ee7079c7e","observation_id":"ff0324e5-9d03-4464-afaf-c6c71220ffe9","resolution":{"observed_at":"2026-08-01T20:19:19.950868Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.724745Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.724745Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:fc7f0faaba9b020c5f0e61369c10dcf8fa35b1f34ade866a4076720a7d3aab84","observation_id":"6919fb89-91af-493c-a54e-f0a4cb87c1dc","resolution":{"observed_at":"2026-08-01T20:16:10.724745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.081212Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.081212Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:c1408074180a107a7d893cc19173189bda06eea7844ce5d0bd5cf3a4405900de","observation_id":"6afd5048-8391-4306-a454-d06331a723dc","resolution":{"observed_at":"2026-08-01T20:16:11.081212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:10.942047Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:10.942047Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:310e0703f961e8fc83546498fa76de892209d7db3117ea4e5a035d1559328224","observation_id":"f7c3c35f-ec40-4c91-99f6-5fc72e1ff193","resolution":{"observed_at":"2026-08-01T20:16:10.942047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.329863Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.329863Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:7ecd862b4b2b12c739bf2c3451cda8412808f6be7124becfbc960ed8a9411156","observation_id":"2b1437d3-097a-44ef-985e-eeb0eb8302e7","resolution":{"observed_at":"2026-08-01T20:16:11.329863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.188341Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.188341Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:abe8d782fa427eaa9fb652d75a5d02003db856c493faa34b77c597d2cbe8b941","observation_id":"2b9c2a65-b9d6-4ea4-8456-1e4545614ad6","resolution":{"observed_at":"2026-08-01T20:16:11.188341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.542872Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.542872Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:bd057da310d07a52201d0e8d7913b3483d73ea919bd2bdc4841fcdf37f68134d","observation_id":"0edc0217-639f-4323-9e61-dffc3f7f7eba","resolution":{"observed_at":"2026-08-01T20:16:11.542872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.441709Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.441709Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:527413dfd55555e7f4d0a896d2b028ec78ac1835886401613f01f071ae83882c","observation_id":"3efd012c-b5cf-4077-a402-26ebb67860c0","resolution":{"observed_at":"2026-08-01T20:16:11.441709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.780945Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.780945Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:85825632dbfa6fd3ceb30f265d81fb04f8d51ce55e6223c2c0a2d27fee145077","observation_id":"5bb37cda-22f2-488a-92ec-9017504dde0e","resolution":{"observed_at":"2026-08-01T20:16:11.780945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.695057Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.695057Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:83c52808ac2340bc8d8bb449243be2a7f6240b1b5952134bc29c51d9eb3b092f","observation_id":"6f3abeff-e49e-4ed2-bb12-63974b6b06a6","resolution":{"observed_at":"2026-08-01T20:16:11.695057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.960994Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.960994Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:940c359cb2ea2b524a837cfdc03b0651bedb1126b9db3471be634c0cb35ace9f","observation_id":"d7e2325a-7b56-4f56-a19b-f234cbe47f28","resolution":{"observed_at":"2026-08-01T20:16:11.960994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:11.859294Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.859294Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:0cc003a4d49d1e758e139c5a37f14b381fd8a808760c56258c82cc9311bcb590","observation_id":"355381de-48cb-4eeb-8607-9ce9f2fa6268","resolution":{"observed_at":"2026-08-01T20:16:11.859294Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.023833Z","title":"1998.Software engineering: theory and practice","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.023833Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:5b4be61bfcc388542c831d98e4e34e35f9106d8c52d43f97ad602957b7ffe988","observation_id":"613ecb3a-9f45-487f-85ca-cd55047ebd19","resolution":{"observed_at":"2026-08-01T20:16:12.023833Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3674732","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Software Engineering and Methodology","work_id":"0de11cbc-4130-40d3-b95b-8fd298f418af","year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:11.991450Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:d7ea378552824082efa2373fe8c3f5f4aa82a9620a457430259f4232734b58da","observation_id":"d0240620-2dad-4abf-8c8d-790fd52da5c0","resolution":{"observed_at":"2026-08-01T20:19:19.880564Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.086897Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.086897Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:b0ffd4a3bde9de8c895fc228004a1d20413d613ba24a3fe771f7b37e250e0d48","observation_id":"975774c6-10d2-4edf-9ea8-d42d26be2cd1","resolution":{"observed_at":"2026-08-01T20:16:12.086897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.045945Z","title":"Pressman and Bruce R","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.045945Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:f902a9baa97777a9ef25a65cbc59b5c0b83622cd738a89bbec7015ef023c3eea","observation_id":"beb3a6b3-6580-4c5c-83d1-31442a51714d","resolution":{"observed_at":"2026-08-01T20:16:12.045945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.231754Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.231754Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:ee2b42076f2d977bde8703e3d4cfd97d7430bd60fdabafe01576d90f5d37fb4b","observation_id":"47427af3-9e07-4971-b172-f52db496472d","resolution":{"observed_at":"2026-08-01T20:16:12.231754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/icsme.2016.57","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"013ed542-5242-4b62-87dd-b6c4d6c4eca1","year":2016},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.170562Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:b5efcd75e989f02d2cbbc2ce8fd9866916f00f952621910f9f2760d69097e834","observation_id":"d889050c-c165-4a6f-8989-c17e7c97c260","resolution":{"observed_at":"2026-08-01T20:19:19.791051Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.451924Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.451924Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:cbfb457955c1121c1a83e961cce288893fe45192a871fa0701150f69ad83622a","observation_id":"1501878c-e5a5-4990-be18-192ccc8e134d","resolution":{"observed_at":"2026-08-01T20:16:12.451924Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.408803Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.408803Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:6ab4ec398137a2e93d0a967e82643aeb9afce8cc14495fd3fb39dd50846cd2c1","observation_id":"24f98993-8f5e-4a91-8a92-2ce3dd91c397","resolution":{"observed_at":"2026-08-01T20:16:12.408803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.606902Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.606902Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:f2c08c1808b17645eae5cb578162397c19965247ea8081bbe197cd639ed97c48","observation_id":"2f88666b-7b5c-47b5-a75b-3ea1740eb96f","resolution":{"observed_at":"2026-08-01T20:16:12.606902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.525436Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.525436Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:c776da4f7b943cbe3e5772933c697c86e9f243214ce4600b68db417893972d93","observation_id":"a7ad90a3-e3d9-4070-bc08-4fb19f6842b8","resolution":{"observed_at":"2026-08-01T20:16:12.525436Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.817639Z","title":"2011.Software Engineering(9th ed.)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.817639Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:37ec6b2e2aac0d3a15d883a9277bf67d07aa45ec9c5d6563d7171c43ca69dfec","observation_id":"46798c39-010c-4a7f-bf19-60829be54ec0","resolution":{"observed_at":"2026-08-01T20:16:12.817639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.708322Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.708322Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:2b69441070f847e6b20da295a2114ac86e3ecec127b4d7f50ab675cb99cc241d","observation_id":"42fe20d4-6d9d-4220-ba96-70d53fae919b","resolution":{"observed_at":"2026-08-01T20:16:12.708322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.965645Z","title":"2008.EMF: eclipse modeling framework(2nd ed.)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.965645Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:802ed1232b997499475184dec37e324c8c866139b70699afbfdd30b6c1432438","observation_id":"d8260367-65b1-4077-91cb-50fef93aa560","resolution":{"observed_at":"2026-08-01T20:16:12.965645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:12.890896Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:12.890896Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:7270d8177470ba09bdc7cc701cf9030709a421ae2855630092dfc57cc21ba167","observation_id":"c25ea1cb-692a-4a0a-badb-427daba191a0","resolution":{"observed_at":"2026-08-01T20:16:12.890896Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.124080Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.124080Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:e0972ab140b0b16d9a92994730d4694cfbb8cb63208d68395dd56b71e66ea2da","observation_id":"0e8ad60e-b8a1-493a-a28e-a43131c211c2","resolution":{"observed_at":"2026-08-01T20:16:13.124080Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.039887Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.039887Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:3993932f2b3326c1a8a0652f4788b4d87a313124b131fb7d248f19cde187e60c","observation_id":"0b978198-cc41-42a3-a16e-3758c8406f47","resolution":{"observed_at":"2026-08-01T20:16:13.039887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.260716Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.260716Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:42001f0e8a9d886bee8d63575767c506a390a4f63eb76106aa108aa1dd60d6b2","observation_id":"4efbaa6b-1bcf-4f9f-8be9-25e64d6a50ae","resolution":{"observed_at":"2026-08-01T20:16:13.260716Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.185344Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.185344Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:fdbd8f4f3bdc1b8f14ca8eee0d1993630f99f288dc82941b06c3cdd45091b4bf","observation_id":"fecd6d6a-dd5f-454f-ba08-7de99aec66c8","resolution":{"observed_at":"2026-08-01T20:16:13.185344Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.447689Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.447689Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:e50addbb6436b3521ac19880b76eb79040977c1028383665b50262c466fcc548","observation_id":"72bf3d41-6830-447f-94d8-5e047ff041c3","resolution":{"observed_at":"2026-08-01T20:16:13.447689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.370269Z","title":"2013.Model-Driven Software Development: Technology, Engineering, Management","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.370269Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:b939a9b0662c6d60c979494438234ba58dac89c971d3ff2233fb0b0b1a9e49a7","observation_id":"3392590f-c64d-4991-b44f-77dcdc281eb0","resolution":{"observed_at":"2026-08-01T20:16:13.370269Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.586458Z","title":"2003.The object constraint language: getting your models ready for MDA","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.586458Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:2cc3e310c03c491c6b547179f8fd03344cb58c985b77f70a1af5959f3fdf6436","observation_id":"ea69b6f0-13ce-4e09-b6e7-279f5fe4434f","resolution":{"observed_at":"2026-08-01T20:16:13.586458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.515026Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.515026Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:caa58f5500d48a3f3b6543c5af1f835d760e64728b395eaa12f950eb3cfdb2b0","observation_id":"104c56d0-3437-490f-b2a7-e4eddb4c1b7d","resolution":{"observed_at":"2026-08-01T20:16:13.515026Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.840469Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.840469Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:7ccd3513241295e7990238c91f5153aed47276c6f3a86145b6dfc3ea0153a133","observation_id":"00ac0d8f-4929-4e7d-bf3e-f4f7509e737b","resolution":{"observed_at":"2026-08-01T20:16:13.840469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:13.705450Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:13.705450Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:2f4dc2d1733ad5f0d68eefe84917092370a638339bf6df679dbcd2d8f9725b65","observation_id":"de62e06e-d66b-4d6d-a869-b4a573d3ed41","resolution":{"observed_at":"2026-08-01T20:16:13.705450Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:14.110181Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.110181Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:7d00cc33b955b309c20e2581e00261e1805f81366cd51d57914cabe55abb3c86","observation_id":"481c62b8-b192-4db6-b4a8-e69aa48a4f91","resolution":{"observed_at":"2026-08-01T20:16:14.110181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:14.017825Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.017825Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:d73a5e915d33578861e62917d228a8cda4098e19a24a48d58cb6bd5af0288fe6","observation_id":"b2185a3d-c2b7-40eb-982a-f40c9bb69914","resolution":{"observed_at":"2026-08-01T20:16:14.017825Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.22413","last_updated":"2026-06-23T13:24:02Z","snapshot_observed_at":"2026-08-13T14:33:55.055456Z","submitted_at":"2026-06-21T10:01:45Z","title":"Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.22413","snapshot_observed_at":"2026-08-01T20:16:14.340985Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.340985Z"},"links":{"cited_paper":"/paper/2606.22413","citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:00b4608573ce92e6fc9e7fd3cd613a6a8d5a6772d9b41d613b9b79c4280ff92f","observation_id":"61c5fafb-d2f9-4cca-a5f3-a4fedc7c88b4","resolution":{"observed_at":"2026-08-01T20:16:14.340985Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:14.193309Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.193309Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:5630aabd378ee45ae989696b14a243dbc5f61da5aa938c0454f391d5d244c990","observation_id":"57b7728c-9f33-44a4-9cbb-895facdfaba6","resolution":{"observed_at":"2026-08-01T20:16:14.193309Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-08-08T22:28:26.004138Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-08-01T20:16:14.697127Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.697127Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:64200b0105a97d55a064d8876dc33460974d9956e15c024065e00e2e7abe5d26","observation_id":"f60f7d68-76a4-40fb-b169-d4ae0235ca8d","resolution":{"observed_at":"2026-08-01T20:16:14.697127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:14.487846Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.487846Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:af51de05e3e39b591db83aaec9b79ec2ff5ab95aca09c31870682dcc2e399025","observation_id":"cd02c9e2-9d51-469b-b9a6-9bdf9e9f1b6b","resolution":{"observed_at":"2026-08-01T20:16:14.487846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-01T20:16:14.865202Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:14.865202Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:d39caa6fd87e4d1a949cf4ba9cf1229b60bd28746a39b7defb5dce9993be11a7","observation_id":"3ff2012a-e5e7-4607-9e35-a483a2b2bdbe","resolution":{"observed_at":"2026-08-01T20:16:14.865202Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T20:16:05.888675Z","title":"InEnterprise, Business-Process and Information Systems Modeling, Han van der Aa, Dominik Bork, Rainer Schmidt, and Arnon Sturm (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T20:16:05.888675Z"},"links":{"citing_paper":"/paper/2607.16708"},"observation_digest":"sha256:8a76cb3725a9ea6714e8494ac1c78058bb464992a3a280d67ac8035240ed0d06","observation_id":"d92eddc5-00a4-46a4-bf5b-9d0ebbec979c","resolution":{"observed_at":"2026-08-01T20:16:05.888675Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.16708","last_updated":"2026-07-18T08:50:55Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T17:29:51.272093Z","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models"},"reference_resolution":{"displayed":93,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":90,"verified_exact":3,"verified_fuzzy":0},"total_outbound_references":93},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 93 of 93 outbound references and 0 inbound Pith citation observations for arXiv:2607.16708."}