vscode 1 From Formal Model to Sequence Diagram: TLA+ as a Machine-Readable Specification Feb 22, 2026