The CSP View of the World in the FDR2 User Manual
ID: the-csp-view-of-the-world-in-the-fdr2-user-manual
Locator: §1.2, stable failures definition, internal transitions and model distinctions. Adjacent §1.3 refinement page also inspected.
New to topics? Read the docs here!