@misc{indiciaece4e2e99b5bd,
  title = {Q: A Sound Verification Framework for Statecharts and their Implementations.},
  author = {Pollard, Samuel and ARMSTRONG, ROBERT and Bender, John and Hulette, Geoffrey and Mahmood, Raheel and Morris, Karla and Rawlings, Blake and Aytac, Jon},
  year = {2022},
  doi = {10.1145/3563822.3568014},
  url = {https://www.osti.gov/biblio/2006062},
  note = {Source identifier: 2006062}
}