Analysis of Switch-Level Faults by Symbolic Simulation | Publicación