Probabilistic model checking of single event transient propagation at RTL level | IEEE Conference Publication | IEEE Xplore