Command and Telemetry Sequencer for NASA's Core Flight Executive