Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models | Paper Citation Record

Observation 64a3eec4-e2df-475b-aa7e-86db4141cadb · outbound

This paper cites Functional safety of electrical/electronic/programmable electronic safety-related systems.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Functional safety of electrical/electronic/programmable electronic safety-related systems

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.620144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9123f37f-299c-4bc5-996f-f04ffcf079c1 · outbound

This paper cites Road Vehicles – Functional Safety.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Road Vehicles – Functional Safety

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.685808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cab28dec-6bc6-41ac-b906-5510994295c3 · outbound

This paper cites GPT-4 Technical Report.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models GPT-4 Technical Report

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.735997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4cc25bb-0650-4e10-8c7d-8b883e45b355 · outbound

This paper cites Nolan, Julia Rubin, and Yael Shaham-Gafni.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Nolan, Julia Rubin, and Yael Shaham-Gafni

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.792396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d476143d-4aaf-4aba-96fc-265722ce1f20 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.847826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e087beb4-f510-4f6f-a7e8-50d1fbf7d7eb · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.970039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a6699b6-a47f-4411-805f-bd6f03ac599e · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.029108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17c6c526-6a7b-4ca7-9af1-0efc45c97c17 · outbound

This paper cites Lagrangian Decomposition for Neural Network Verification.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Lagrangian Decomposition for Neural Network Verification

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.086400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bc3c957-a149-45ca-a20b-a44e48659da8 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.137555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15266ca1-7d64-443c-8a10-71bacedb8dd2 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.192592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fc23941-d6c4-4d96-8740-28ba01eeae59 · outbound

This paper cites 2021.Software Architecture in Practice(4th ed.).

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2021.Software Architecture in Practice(4th ed.)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.245882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24d3d205-7fe8-4779-9ea3-4ae1e68151d1 · outbound

This paper cites 2024.Introducing SysEngBench: A novel benchmark for assessing large language models in systems engineering.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2024.Introducing SysEngBench: A novel benchmark for assessing large language models in systems engineering

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.291533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d7112a3-3e68-4b3f-bab5-37cf4e8fe212 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.346563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73d93a32-6a45-48e0-91e9-c8a655170116 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.416970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c215469d-87a3-4929-994d-216407a02f67 · outbound

This paper cites 2016.Implementing domain-specific languages with Xtext and Xtend.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2016.Implementing domain-specific languages with Xtext and Xtend

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.511351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1944fd6-d20f-4518-adfc-822f2bbc4f3e · outbound

This paper cites 2017.Model-driven software engineering in practice.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2017.Model-driven software engineering in practice

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.546167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec0c060e-556e-4839-85eb-daf1f3f7aacf · outbound

This paper cites Briand, Yvan Labiche, and Leeshawn O’Sullivan.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Briand, Yvan Labiche, and Leeshawn O’Sullivan

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.611348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7338eef-4ec4-4c2b-99ac-6efa2499b24f · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.614148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b3f80c9-b674-4761-b421-f45a8a9eba96 · outbound

This paper cites 1987.No silver bullet.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 1987.No silver bullet

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.617680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed96058f-9850-4c12-a9be-63ba93c968a7 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.696018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5925821-2e33-45fc-885d-b233bb07a741 · outbound

This paper cites Kolovos, and Jordi Cabot.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Kolovos, and Jordi Cabot

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:06.865044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7de88e20-ad89-4cf3-82e1-431dcb22e988 · outbound

This paper cites Paige, and Alfonso Pierantonio.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Paige, and Alfonso Pierantonio

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.111691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2a1be84-c7c1-4415-aa7c-a08523f7a613 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.252474Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87fec967-e1e6-4b4e-af5d-ebf8dd9588f6 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.414204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c715cbb-a36c-4d0d-ba97-f8aca0f6b444 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.520940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdb7572a-eb39-4616-95b7-34ec39dda98f · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.635577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9263a0ba-05cd-410c-be22-9e86efbbc69c · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.733313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a7e05f2-5b58-4a8a-a46b-fda36891fdec · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:07.848855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35fcb9ce-4f9a-4c4f-a053-057b13cedc8e · outbound

This paper cites 2012.Software and systems traceability.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2012.Software and systems traceability

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.007011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ae6ff83-14b5-4487-ba94-83f06b25b9af · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.167649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ee8f9f8-b603-4099-82d8-280714b57841 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.333834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bfe46aa-9ac5-4e77-9b61-9f90fd072b20 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.499748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01ae9bbc-85a5-4f67-ae0f-e1ed72be5d80 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.616278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36d6b633-1a71-48de-8be2-ff8bc96159cf · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.740425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13011ab4-c331-4b0a-8fab-6a5b0ffea5c7 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:08.895178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d08fd242-a887-4cfc-9ab6-86e8ba5d7fae · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.063419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6d1d21a-3d77-4a95-9c0d-bf66e43c11cc · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.225755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 688ceaa8-a632-405f-8a0b-1f42f1534427 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.346395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c8258c5-342b-4213-b2bd-9d26bbf37d0c · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.491865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cbe4649-b080-4cfa-b373-7255ba105247 · outbound

This paper cites Chawla, Olaf Wiest, and Xiangliang Zhang.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Chawla, Olaf Wiest, and Xiangliang Zhang

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.656457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d1b65ad-89ae-43c0-ae18-d4fe013df452 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.753148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f20442d5-4efd-4de7-abe2-be58f00c1f05 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.979585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcd19c09-833a-4cd2-b2ce-e3df6efb05db · outbound

This paper cites InInternational Conference on Learning Representations, Vol.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models InInternational Conference on Learning Representations, Vol

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:09.870877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 493ca008-269f-4dba-8782-415ea2c7c898 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.250387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a859866f-aaf7-4643-b4d7-36353657b2f1 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.134225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39bb87b2-8d2e-4f2b-916e-7957919cc57d · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.480181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07e25a6d-01a3-4bd8-8756-0c1b45d67be4 · outbound

This paper cites MARE: Multi-Agents Collaboration Framework for Requirements Engineering.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models MARE: Multi-Agents Collaboration Framework for Requirements Engineering

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.354322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53c28f31-9dc1-4a5e-916a-c0c996019476 · outbound

This paper cites 2008.Software Language Engineering: Creating Domain-Specific Languages Using Metamodels.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2008.Software Language Engineering: Creating Domain-Specific Languages Using Metamodels

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.702484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1b0ebf7-b74b-4d1e-b2cd-77657d661e6b · outbound

This paper cites 1999.Arguing safety: a systematic approach to managing safety cases.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 1999.Arguing safety: a systematic approach to managing safety cases

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.574391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff0324e5-9d03-4464-afaf-c6c71220ffe9 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 50

Resolution: verified exact; doi, observed 2026-08-01T20:19:19.950868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6919fb89-91af-493c-a54e-f0a4cb87c1dc · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.724745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6afd5048-8391-4306-a454-d06331a723dc · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.081212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7c3c35f-ec40-4c91-99f6-5fc72e1ff193 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:10.942047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b1437d3-097a-44ef-985e-eeb0eb8302e7 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.329863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b9c2a65-b9d6-4ea4-8456-1e4545614ad6 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.188341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0edc0217-639f-4323-9e61-dffc3f7f7eba · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.542872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3efd012c-b5cf-4077-a402-26ebb67860c0 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.441709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bb37cda-22f2-488a-92ec-9017504dde0e · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.780945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f3abeff-e49e-4ed2-bb12-63974b6b06a6 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.695057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e2325a-7b56-4f56-a19b-f234cbe47f28 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.960994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 355381de-48cb-4eeb-8607-9ce9f2fa6268 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:11.859294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 613ecb3a-9f45-487f-85ca-cd55047ebd19 · outbound

This paper cites 1998.Software engineering: theory and practice.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 1998.Software engineering: theory and practice

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.023833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0240620-2dad-4abf-8c8d-790fd52da5c0 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 63

Resolution: verified exact; doi, observed 2026-08-01T20:19:19.880564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 975774c6-10d2-4edf-9ea8-d42d26be2cd1 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.086897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb3a6b3-6580-4c5c-83d1-31442a51714d · outbound

This paper cites Pressman and Bruce R.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Pressman and Bruce R

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.045945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47427af3-9e07-4971-b172-f52db496472d · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.231754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d889050c-c165-4a6f-8989-c17e7c97c260 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 67

Resolution: verified exact; doi, observed 2026-08-01T20:19:19.791051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1501878c-e5a5-4990-be18-192ccc8e134d · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.451924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24f98993-8f5e-4a91-8a92-2ce3dd91c397 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.408803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f88666b-7b5c-47b5-a75b-3ea1740eb96f · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.606902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7ad90a3-e3d9-4070-bc08-4fb19f6842b8 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.525436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46798c39-010c-4a7f-bf19-60829be54ec0 · outbound

This paper cites 2011.Software Engineering(9th ed.).

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2011.Software Engineering(9th ed.)

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.817639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42fe20d4-6d9d-4220-ba96-70d53fae919b · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.708322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8260367-65b1-4077-91cb-50fef93aa560 · outbound

This paper cites 2008.EMF: eclipse modeling framework(2nd ed.).

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2008.EMF: eclipse modeling framework(2nd ed.)

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.965645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c25ea1cb-692a-4a0a-badb-427daba191a0 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:12.890896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e8ad60e-b8a1-493a-a28e-a43131c211c2 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.124080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b978198-cc41-42a3-a16e-3758c8406f47 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.039887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4efbaa6b-1bcf-4f9f-8be9-25e64d6a50ae · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.260716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fecd6d6a-dd5f-454f-ba08-7de99aec66c8 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.185344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72bf3d41-6830-447f-94d8-5e047ff041c3 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.447689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3392590f-c64d-4991-b44f-77dcdc281eb0 · outbound

This paper cites 2013.Model-Driven Software Development: Technology, Engineering, Management.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2013.Model-Driven Software Development: Technology, Engineering, Management

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.370269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea69b6f0-13ce-4e09-b6e7-279f5fe4434f · outbound

This paper cites 2003.The object constraint language: getting your models ready for MDA.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models 2003.The object constraint language: getting your models ready for MDA

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.586458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 104c56d0-3437-490f-b2a7-e4eddb4c1b7d · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.515026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00ac0d8f-4929-4e7d-bf3e-f4f7509e737b · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.840469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de62e06e-d66b-4d6d-a869-b4a573d3ed41 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:13.705450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 481c62b8-b192-4db6-b4a8-e69aa48a4f91 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.110181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2185a3d-c2b7-40eb-982a-f40c9bb69914 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.017825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61c5fafb-d2f9-4cca-a5f3-a4fedc7c88b4 · outbound

This paper cites Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.340985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57b7728c-9f33-44a4-9cbb-895facdfaba6 · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.193309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f60f7d68-76a4-40fb-b169-d4ae0235ca8d · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.697127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd02c9e2-9d51-469b-b9a6-9bdf9e9f1b6b · outbound

This paper cites an unresolved cited work.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Unresolved cited work

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.487846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ff2012a-e5e7-4607-9e35-a483a2b2bdbe · outbound

This paper cites Qwen3 Technical Report.

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models Qwen3 Technical Report

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:14.865202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d92eddc5-00a4-46a4-bf5b-9d0ebbec979c · outbound

This paper cites InEnterprise, Business-Process and Information Systems Modeling, Han van der Aa, Dominik Bork, Rainer Schmidt, and Arnon Sturm (Eds.).

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models InEnterprise, Business-Process and Information Systems Modeling, Han van der Aa, Dominik Bork, Rainer Schmidt, and Arnon Sturm (Eds.)

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T20:16:05.888675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers