@misc{indiciae6c78d08d5886,
  title = {The Watchdog Task: Concurrent error detection using assertions},
  author = {Ersoz, A. and Andrews, D. M. and Mccluskey, E. J.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19860013853},
  note = {Source identifier: 19860013853}
}