GraphFlow: An Architecture for Formally Verifiable Visual Workflows Enabling Reliable Agentic AI Automation. - Drewry H. Morris V; Luis Valles; Reza Hosseini Ghomi (CoRR, 2026)