Combining operations documentation and data to diagnose procedure execution. (2nd September 2020)