Title: Biblio RTF Export
Author: Biblio 7.x

B. H.  Meyer, Calhoun, B. H., Lach, J. C., and Skadron, K., ?Cost-effective Safety and Fault Localization using Distributed Temporal Redundancy?, CASES. 2011.