Avoid Hidden States in the Safety System

It might be tempting to define elaborate actions in a certain safety level. However, in order to keep the safety system clean and simple avoid such practises. Do not define different states in a safety level. If you need to stay a certain amount of time in a safety level use the field nofActivations as described in Counter. As soon as you want to model a more complex behaviour use a Sequence.