visualization 2 From Formal Model to Sequence Diagram: TLA+ as a Machine-Readable Specification Feb 22, 2026 Data-Driven Fabric Architecture: Visualizing GPU Traffic Patterns Over PCIe Feb 9, 2026