@misc{indiciaedb0f15a1ab9a,
  title = {Shorter function summaries for finite state machine-based high consequence systems using logic synthesis and tautologies (Final Report LDRD 24-1302)},
  author = {Amon, Tod Tracy},
  year = {2024},
  doi = {10.2172/2462970},
  url = {https://www.osti.gov/biblio/2462970},
  note = {Source identifier: 2462970}
}