@misc{indiciaec9dd8a856efa,
  title = {NOVA: A new multi-level logic simulator},
  author = {Miles, L. and Prins, P. and Cameron, K. and Shovic, J.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19940004356},
  note = {Source identifier: 19940004356}
}