Exploiting Causality to Avoid Threats
Observation: feedback loops rare in component schematics.
The Causal Graph G is a directed graph whose vertices are state variables. G contains an edge from v1 to v2 if v1 occurs in the antecedent of v2’s transition.
Requirement 3: The causal graph must be acyclic.