Chapter: Modeling and Simulating NASA's Launch Abort System