Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. - Isabella Lanzani; Riccardo Scattolini; Enrico Zio; Alessandro Cimatti; Marco Bozzano; Stefano Tonetta (ICSRS, 2023)