1 Research Report: NRC-HQ-11-6-04-0060 Evaluating the Safety of Digital Instrumentation and Control Systems in Nuclear Power Plants John Thomas Francisco Luiz de Lemos Nancy Leveson November, 2012