TY  - RPRT
TI  - The Watchdog Task: Concurrent error detection using assertions
AU  - Ersoz, A.
AU  - Andrews, D. M.
AU  - Mccluskey, E. J.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19860013853
ID  - 19860013853
ER  -