be switched off ( //Power [...] transitions to switch [...] below: [bPowerOn] ,
the name PowerOff . [...] DoIt: BOOL; bPowerOn : BOOL; bPowerOff :
switches edge [...] . Therefore, a switching [...] , then this diagram is switched
:= FALSE; bPower [...] after power [...] The machine is switched