Fig. 2From: Deriving invariant checkers for critical infrastructure using axiomatic design principlesOverview of the three stages of WADI. Solid arrows indicate the flow of water and the sequence of processes; component names are of the form stage- type- index, e.g. 1-LT-001 is a Level Indication Transmitter in stage oneBack to article page