@conference {312, title = {Reducing the Cost of Safety-Critical Systems with On-Demand Redundancy}, booktitle = {SRC Techcon}, year = {2012}, month = {09/2012}, author = {L. Szafaryn and J. Chen and Benton H. Calhoun and John Lach and Kevin Skadron and Brett H. Meyer} }