@misc{indiciae71e5c63b93f5,
  title = {Compositional Reasoning for Hierarchical State Machines},
  author = {Sullivan, Zachary Joseph [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] and Rawlings, Blake Charles [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:0000000226683693) and Bender, John Matthew [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:0000000237546731) and Aytac, Jon M. [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]},
  year = {2026},
  doi = {10.2172/3362874},
  url = {https://www.osti.gov/biblio/3362874},
  note = {Source identifier: 3362874}
}