Simulating the effects of logic faults in implementation-level VITAL-compliant models | Publicación