Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3. - Mário Brito; John May; Julio Gallardo; Ed Fergus (SSS, 2006)