Green, Elizabeth, Ritchie, Felix, "Output checking processes: Workshop report", , 2024