Analysis of switch-level faults by symbolic simulation | Publicación