Modeling a Launch Abort System Demo