OpenSEA: Semi-Formal Methods for Soft Error Analysis. - Patrick Klampfl; Robert Könighofer; Roderick Bloem; Ayrat Khalimov 001; Aiman Abu-Yonis; Shiri Moran (CoRR, 2017)