@misc{indiciaeebf4e6981bdf,
  title = {Solvability, Operability, and Security for Cyber-Physical Systems: New Computational Methods with Revised Assumptions},
  author = {Bakker, Craig KR and Bhattacharya, Arnab and Chatterjee, Samrat and Oster, Matthew R. and Perkins, Casey J. and Pan, Feng},
  year = {2021},
  url = {https://www.osti.gov/biblio/1777137},
  note = {Source identifier: 1777137}
}