@misc{indiciae157f3124187d,
  title = {A Proposed Model-Based Approachfor System Verification.},
  author = {Wolfgang, Raymond},
  year = {2020},
  url = {https://www.osti.gov/biblio/1821581},
  note = {Source identifier: 1821581}
}