@misc{indiciae59ba89ef1abf,
  title = {Emulation automation and model checking},
  author = {Urias, Vincent and Van Leeuwen, Brian P. and Stout, William M. S. and Kunz, Michael},
  year = {2023},
  url = {https://www.osti.gov/biblio/2222085},
  note = {Source identifier: 2222085}
}