@misc{indiciaeab6d36ee924a,
  title = {Distributed Engine Control Empirical/Analytical Verification Tools},
  author = {DeCastro, Jonathan and Hettler, Eric and Yedavalli, Rama and Mitra, Sayan},
  year = {2013},
  url = {https://ntrs.nasa.gov/citations/20130014130},
  note = {Source identifier: 20130014130}
}