A System Safety Modeling and Assessment Method Based on ETFPGs | IEEE Conference Publication | IEEE Xplore