, but in base state Ready =

, but in base state Ready =

of safety functions based

functions based

Explicit, application-based [...] Explicit, application-based

based on the FBD

), for example, based