@misc{indiciaeae63ed8a0ea3,
  title = {Modeling in the State Flow Environment to Support Launch Vehicle Verification Testing for Mission and Fault Management Algorithms in the NASA Space Launch System},
  author = {Trevino, Luis and Berg, Peter and England, Dwight and Johnson, Stephen B.},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/20160012106},
  note = {Source identifier: 20160012106}
}