Modelling of Control Clause Samples

Modelling of Control. Systems in Event-B Strength