David Cohen Norman Dorn An Experiment in Analyzing Switch Recovery Procedures. 23-34 1992 conf/forte/1992 FORTE db/conf/forte/forte1992.html#CohenD92