@misc{indiciae58995d6d13a0,
  title = {Credible Autocoding of Fault Detection Observers},
  author = {Timothy Wang and Alireza Esna Ashari and Romain Jobredeaux and Eric M. Feron},
  year = {2013},
  url = {https://arxiv.org/abs/1311.2064},
  note = {Source identifier: 1311.2064}
}