Fig. 6From: Deriving invariant checkers for critical infrastructure using axiomatic design principlesProcess graphs for Invariant #3. a Subsystems involved across three stages of SWaT; b a process graph for normal cases; c a process graph for anomalous casesBack to article page