SegMedia
| State Kind | CompositeState | Parent State | TOP |
| Substates | Initial | J453CB9D80243 | J453CBAAB003F |
| J453CBAAE0272 | J453CBABB01AA | J453CBACB010F | J453CBE6001F6 |
| J453CBE6001FB | J453E43B00011 | J453E43B00016 |
| Transitions | diminuiSeguranca | aumentaSeguranca | getSeguranca |
| Poucas | Initial | aumentaSeguranca | diminuiSeguranca |