TY  - RPRT
TI  - Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)
AU  - Nedunuri, Srinivas
AU  - Smith, Douglas R.
PY  - 2024
DO  - 10.2172/2430261
UR  - https://www.osti.gov/biblio/2430261
ID  - 2430261
ER  -