TY - CONF T1 - Reducing the Cost of Safety-Critical Systems with On-Demand Redundancy T2 - SRC Techcon Y1 - 2012 A1 - L. Szafaryn A1 - J. Chen A1 - Benton H. Calhoun A1 - John Lach A1 - Kevin Skadron A1 - Brett H. Meyer JF - SRC Techcon ER -