On the nature and practical handling of the Bayesian aggregation anomaly. - Sergio B. Guarro; Michael K. Yau (Reliab. Eng. Syst. Saf., 2009)

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

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems. - Sergio B. Guarro; Ümit Özgüner; Tunc Aldemir; Matt Knudson; Arda Kurt; Michael K. Yau; Mohammad Hejase; Steve Kwon (NFM, 2016)

Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance. - Mohammad Hejase; Arda Kurt; Tunc Aldemir; Ümit Özgüner; Sergio B. Guarro; Michael K. Yau; Matthew Knudson (J. Aerosp. Inf. Syst., 2018)