Formal Methods for Modelling and Analysis of Single-Event Upsets | IEEE Conference Publication | IEEE Xplore