Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis | IEEE Conference Publication | IEEE Xplore