PseudoStates decomposing the current state. PseudoState are managed by a specific association, in order to clearly separate them from real states.