Figure 1

1  pressures <- [101.3, 115.2, 122.1, 98.4, 105.0]
2  safetyBreached <- false
3  threshold <- 120.5
4  k <- 0
5  WHILE k < 5 AND safetyBreached = false
6      IF pressures[k] > threshold THEN
7          safetyBreached <- true
8      ENDIF
9      k <- k + 1
10 ENDWHILE

The identifier safetyBreached is used in the safety-monitoring algorithm shown in Figure 1.