@misc{indiciae6abb2a26010b,
  title = {State Machine Modeling of the Space Launch System Solid Rocket Boosters},
  author = {Harris, Joshua A. and Patterson-Hine, Ann},
  year = {2013},
  url = {https://ntrs.nasa.gov/citations/20160000328},
  note = {Source identifier: 20160000328}
}