TY - RPRT TI - State Machine Modeling of the Space Launch System Solid Rocket Boosters AU - Harris, Joshua A. AU - Patterson-Hine, Ann PY - 2013 UR - https://ntrs.nasa.gov/citations/20160000328 ID - 20160000328 ER -