Methodological developments for probabilistic risk analyses of socio-technical systems · Study