CHAP-E: A Plan Execution Assistant for Pilots. - J. Benton 001; David E. Smith 001; John Kaneshige; Leslie Keely; Thomas Stucky (ICAPS, 2018)