Failure probability of SRAM-FPGA systems with Stochastic Activity Networks | IEEE Conference Publication | IEEE Xplore