@misc{indiciae289cceda5226,
  title = {Q Framework: ​ Enables Automated Reasoning \& ​ Increases Digital Assurance of Embedded Controller Software​},
  author = {Armstrong, Robert Claude},
  year = {2024},
  doi = {10.2172/2585099},
  url = {https://www.osti.gov/biblio/2585099},
  note = {Source identifier: 2585099}
}