Author: International Workshop on Computer-Aided Design, Test and Evaluation for Dependability (1996 Beijing, China)