Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. - Doron Drusinsky; Garth Watney (SEW, 2003)