@misc{indiciae693bd6db0f5b,
  title = {Enabling Assurance in the MBSE Environment},
  author = {Evans, John W. and Cornford, Steven L. and Kotsifakis, David and Crumbley, Robert T. and Feather, Martin S.},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20200002305},
  note = {Source identifier: 20200002305}
}