Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis · Study