scchart shifter3 {
 input signal int I = 1;
 signal int S0;
 signal int S1;
 output signal int O;
 region R1:
 initial state I2
 --> I2 with pre(S0) / S1(pre(val(S0)));
 region R0:
 initial state I1
 --> I1 with pre(I) / S0(pre(val(I)));
 region R2:
 initial state I3
 --> I3 with pre(S1) / O(pre(val(S1)));
}

scchart reincarnation {
  input signal A;
  output signal gotS;
  region R0:
  initial state Reincarnation {
    signal S;
    region R0:
    initial state I
    --> C1 immediate;
    state p;
    final state r;
    state q
    --> r with A / S;
    state C1
    --> p immediate with S / gotS
    --> q immediate;
  }
  >-> Reincarnation;
}

scchart Cabin {
  input signal Stop;
  input signal CabinStopped;
  input signal DoorIsOpen;
  input signal DoorOpen;
  input signal DoorSensor;
  input signal DoorIsClosed;
  input signal DoorClose;
  input signal TimerExpired;
  output signal StartOK;
  output signal OpenDoorMotorOff;
  output signal OpenDoorMotorOn;
  output signal StartTimer;
  output signal CloseDoorMotorOn;
  output signal CloseDoorMotorOff;
  region R0:
  initial state I
  --> Open immediate with / OpenDoorMotorOn;
  state Open
  --> S0 with DoorIsOpen / OpenDoorMotorOff;
  state S0 {
    region R0:
    initial state Initial
    --> S0 immediate with / StartTimer;
    state S0
    --> S1 with TimerExpired | DoorClose / CloseDoorMotorOn;
    state S1
    --> S2 with DoorIsClosed / StartOK;
    final state S2;
  }
  o-> I with DoorOpen | DoorSensor / CloseDoorMotorOff
  >-> S1 with / CloseDoorMotorOff;
  state S1
  --> S2 with Stop;
  state S2
  --> I with CabinStopped;
}