@misc{indiciae1bc408aa80ab,
  title = {Demonstration of Model-Based Design for Digital Controller Using Formal Methods},
  author = {Mayo, Jackson R. and Morris Wright, Karla Vanessa and Aytac, Jon M. and Smith, Andrew Michael and Armstrong, Robert Claude and Hulette, Geoffrey Compton and Lober, Randall R.},
  year = {2024},
  doi = {10.2172/2430067},
  url = {https://www.osti.gov/biblio/2430067},
  note = {Source identifier: 2430067}
}