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