Fig. 11From: Deriving invariant checkers for critical infrastructure using axiomatic design principlesAttack #9 on SWaT: single attack, one stageBack to article page