@misc{indiciae57cba2dbd4e4,
  title = {Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)},
  author = {Nedunuri, Srinivas and Smith, Douglas R.},
  year = {2024},
  doi = {10.2172/2430261},
  url = {https://www.osti.gov/biblio/2430261},
  note = {Source identifier: 2430261}
}