Paper Citation Record · LEDGER

A Systematic Literature Review on a Decade of Industrial TLA+ Practice

As of 13 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2411.13722.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.13722 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:59:59.423695Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact10
verified fuzzy2
unresolved11
parse uncertain0
malformed identifier4
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 37530d2d-7927-480b-8e65-907c75210bca · outbound

This paper cites A Tendermint Light Client.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice A Tendermint Light Client

Reference 1

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T15:59:59.700032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 68bb099e-a096-4551-bae0-14e50d8a84e5 · outbound

This paper cites Pro- ceedings of the VLDB Endowment13(9), 1346–1358 (May 2020).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Pro- ceedings of the VLDB Endowment13(9), 1346–1358 (May 2020)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.283770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bde291c-f2ff-4f2f-89a6-b48c88ca5121 · outbound

This paper cites In: Huisman, M., Păsăreanu, C., Zhan, N.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Huisman, M., Păsăreanu, C., Zhan, N

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.678584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f7906860-c5bd-45f3-b7f5-5bb94f63a2f9 · outbound

This paper cites In: 2022 41st International Symposium on Reliable Distributed Systems (SRDS).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: 2022 41st International Symposium on Reliable Distributed Systems (SRDS)

Reference 4

Resolution: verified exact; raw_fallback, observed 2026-08-12T16:00:00.128633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0fa4e397-337b-46d0-8919-7fd3f3883f7c · outbound

This paper cites an unresolved cited work.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:00:00.285576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f33d667e-8b50-469a-a46d-d7782de6b085 · outbound

This paper cites In: 2023 IEEE/ACM 45th International Conference on Soft- ware Engineering: Software Engineering in Practice (ICSE-SEIP).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: 2023 IEEE/ACM 45th International Conference on Soft- ware Engineering: Software Engineering in Practice (ICSE-SEIP)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.306059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32b792d3-8707-4797-b5d2-101d9c9d9248 · outbound

This paper cites In: Proceedings of the 5th ACM Computer Science in Cars Symposium.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Proceedings of the 5th ACM Computer Science in Cars Symposium

Reference 7

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:59:59.310781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75ec9b90-0e1e-47ea-b90b-be80f8c1bc61 · outbound

This paper cites In: Artho, C., Ölveczky, P.C.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Artho, C., Ölveczky, P.C

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.664535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 89db6492-8642-4210-8686-07e3bb179bad · outbound

This paper cites In: Ait Ameur, Y., Schewe, K.D.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Ait Ameur, Y., Schewe, K.D

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.646392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c03651b1-07cf-4b44-92d8-939578b445b3 · outbound

This paper cites Communications of the ACM 58(4), 66–73 (Mar 2015).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Communications of the ACM 58(4), 66–73 (Mar 2015)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.325608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb2f0161-46c5-4ae3-aa72-da4fe7e39af9 · outbound

This paper cites In: Bloem, R., Dimitrova, R., Fan, C., Sharygina, N.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Bloem, R., Dimitrova, R., Fan, C., Sharygina, N

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.615622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 56699d23-a6c3-4591-9773-f2f80f7876d7 · outbound

This paper cites In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

Reference 12

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.601540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 195c4b83-c3dd-40b1-86b7-7727a4607f6a · outbound

This paper cites LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.339630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcf5b606-8309-4232-ae5a-a532a34dc9b2 · outbound

This paper cites In: Staggs, J., Shenoi, S.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Staggs, J., Shenoi, S

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.573715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0dee3b3d-7ae6-4f60-9495-58ba65a2529d · outbound

This paper cites In: 2020 IEEE 29th In- ternational Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: 2020 IEEE 29th In- ternational Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

Reference 15

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:59:59.911478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d02af56b-8904-46a1-8ac0-6454dec562ba · outbound

This paper cites https://doi.org/10.48550/arXiv.2 102.11960 References (Other).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice https://doi.org/10.48550/arXiv.2 102.11960 References (Other)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.354547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdc3fb12-2820-439d-b60d-b64280eb8151 · outbound

This paper cites ACM Computing Surveys 51(5), 105:1–105:38 (Nov 2018).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice ACM Computing Surveys 51(5), 105:1–105:38 (Nov 2018)

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T16:00:00.269982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 80059436-e41d-4ace-8739-7f0a32773814 · outbound

This paper cites MethodsX9, 101895 (Jan 2022).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice MethodsX9, 101895 (Jan 2022)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.366146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b954d50-a1d8-4376-ac8a-65ee693a0c00 · outbound

This paper cites In: Meyer, B., Nordio, M.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Meyer, B., Nordio, M

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.371974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b71aa4e-3c47-4007-bfd7-47446b6e6167 · outbound

This paper cites Technological Forecasting and Social Change108, 28–41 (Jul 2016).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Technological Forecasting and Social Change108, 28–41 (Jul 2016)

Reference 20

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.541389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 51ea1c4a-96a8-43f3-9f0e-d3650f99e232 · outbound

This paper cites an unresolved cited work.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:00:00.254897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8bc30219-d916-4dbe-873c-189822485a37 · outbound

This paper cites Addison-Wesley (Jun 2002), https://www.microsoft.co m/en-us/research/uploads/prod/2018/05/book-02-08-08.pdf.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Addison-Wesley (Jun 2002), https://www.microsoft.co m/en-us/research/uploads/prod/2018/05/book-02-08-08.pdf

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:00:00.237735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 00a2c205-f57b-444a-9bc0-020e7c18c620 · outbound

This paper cites In: Leucker, M., Morgan, C.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Leucker, M., Morgan, C

Reference 23

Resolution: verified exact; doi, observed 2026-08-12T15:59:59.526839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0d81b409-0606-4009-a51c-0f46eff93023 · outbound

This paper cites Information and Software Technology 64, 1–18 (Aug 2015).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Information and Software Technology 64, 1–18 (Aug 2015)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.398551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1b0face-2b6d-4a03-8236-0f317913c61b · outbound

This paper cites In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T15:59:59.404406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c93aac08-03c6-48f7-bda6-aa06fbbc7fdf · outbound

This paper cites Towards making formal methods normal: meeting developers where they are.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Towards making formal methods normal: meeting developers where they are

Reference 26

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T15:59:59.488883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8485d2a2-49d8-4fda-9031-d32c21052df0 · outbound

This paper cites Social science, Free Press, New York Lon- don Toronto Sydney, 5 edn.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice Social science, Free Press, New York Lon- don Toronto Sydney, 5 edn

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:00:00.221952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1cfbca93-eec8-4dec-929f-4051e7953ce0 · outbound

This paper cites IEEE Access8, 36226–36243 (2020).

A Systematic Literature Review on a Decade of Industrial TLA+ Practice IEEE Access8, 36226–36243 (2020)

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:59:59.419412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2738e0b-202b-4df4-81a6-76341c17f8ab · outbound

This paper cites In: Menzies, T., Williams, L., Zimmermann, T.

A Systematic Literature Review on a Decade of Industrial TLA+ Practice In: Menzies, T., Williams, L., Zimmermann, T

Reference 29

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:59:59.468233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.