@article{Siewiorek2018, author = "Daniel P. Siewiorek and Dileep P. Bhandarkar", title = "{The effect of the checker on system reliability}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/The_effect_of_the_checker_on_system_reliability/6610553", doi = "10.1184/R1/6610553.v1" }