Episode 408: Mark Schwabacher: Fault Detection in Rocket Engines