A probabilistic analysis technique for single event transient sensitivity evaluation of phase-lock-loops. (September 2019)