Title: Integrated analysis of error detection and recovery