Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability. - William M. Goble; Julia V. Bukowski; Aarnout C. Brombacher (SAFECOMP, 1996)

Creating Markov Models for Applications in the Process Industry. - Michel Houtermans; William M. Goble; Aarnout C. Brombacher (SAFECOMP, 1996)

Defining mean time-to-failure in a particular failure-state for multi-failure-state systems. - Julia V. Bukowski; William M. Goble (IEEE Trans. Reliab., 2001)

Dependable Neural Networks for Safety Critical Tasks. - Molly O'Brien; William M. Goble; Greg Hager; Julia V. Bukowski (CoRR, 2019)