@misc{indiciae59ae0762dd90,
  title = {LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts},
  author = {Vamsi Krishna Vasa and Hessam S. Sarjoughian and Edward J. Yellig},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14956},
  note = {Source identifier: 2608.14956}
}