@misc{indiciae70baddd4e768,
  title = {A Typing Discipline for High-Assurance Control Systems},
  author = {Taylor, Max},
  year = {2024},
  url = {https://www.osti.gov/biblio/3021464},
  note = {Source identifier: 3021464}
}