C1.1 Règles de stabilité

$groupe$IdleStable:
        @$groupe$State noneof [$liste des services du groupe$],
        (event != EventStart |
         service noneof [$liste des services du groupe$])
==>
        restrict $groupe$State noneof [$liste des services du groupe$];

$groupe$$service$Stable:
        @$groupe$State == "$service$",
        ((event != EventStart |
          service noneof [$liste des services du groupe$]),
         (event != EventEnd |
          service != "$service$"))
==>
        restrict piloState == "$service$";