Fig. 5From: Deriving invariant checkers for critical infrastructure using axiomatic design principlesProcess graphs for Invariant #1 a Subsystem in stage one of SWaT; b a process graph for normal cases; c a process graph for anomalous casesBack to article page