Fig. 1From: Deriving invariant checkers for critical infrastructure using axiomatic design principlesOverview of the six stages of SWaT. Thick red arrows indicate the flow of water; dotted and dashed rectangles respectively indicate sensors and actuators; thick black rectangles indicate tanks and sub-systems; and blue rectangles indicate the stagesBack to article page