@misc{indiciae6f847aad795a,
  title = {Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic},
  author = {Marco Bozzano and Alessandro Cimatti and Marco Gario and Stefano Tonetta},
  year = {2016},
  doi = {10.2168/lmcs-11(4:4)2015},
  url = {https://arxiv.org/abs/1506.04871},
  note = {Source identifier: 1506.04871}
}