Stav dette: Acceleration techniques for dependability simulation / by James David Barnette.