A safety barriers-based approach for the risk analysis of socio-technical systems · Study