Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. - Johannes Geist; Kristin Y. Rozier; Johann Schumann (RV, 2014)