Deterministic Safety Analyses