Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic (Logical Methods in Computer Science, 2015)