Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation
M. Becker, C. Kuznik, Forum on Specification &; Design Languages (FDL 2014) (2014).