Toward nuclear SPICE – integrating IEC 61508, IEC 60880 and SPICE | Publicación