Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models. - Samer Abdulkarim; Evan Boyd; Karl Bridi; Alec Tufenkjian; Boqi Chen; Gunter Mussbacher (CoRR, 2026)