@misc{indiciae5c1a994a392d,
  title = {A Domain-Specific Language for High-Consequence Control Software},
  author = {Armstrong, Robert C. and Hulette, Geoffrey Compton},
  year = {2019},
  doi = {10.2172/1592893},
  url = {https://www.osti.gov/biblio/1592893},
  note = {Source identifier: 1592893}
}