Actionable Safety Analyses in Socio-technical Systems with myFRAM | IEEE Conference Publication | IEEE Xplore