An Experiment in Analyzing Switch Recovery Procedures. - David Cohen; Norman Dorn (FORTE, 1992)