Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies. - Aldemir, Tunc; Guarro, Sergio B.; Mandelli, Diego; Kirschenbaum, Jason; Mangan, L. Anthony; Bucci, Paolo; Yau, Michael K.; Ekici, Eylem; Miller, D. W.; Sun, Xiaodong; Arndt, S. A. (Reliab. Eng. Syst. Saf., 2010)