Analysis by simulation, Dynamic Fault Trees, Fault Tree Analysis, Input/Output Stochastic Automata, Repairable Fault Trees, semantic model, Weak determinism.
