scchart rail {
  input bool second;
  input bool contact0,contact1;
  output int track;
  
  initial state stat "station controller" {
    region "go" : A;
    
      initial state init --> running immediate with /track=60;
      state running;
      
    region "platform" : B;
    
      initial state waiting --> slowdown immediate with contact0 / track = 20;
      state slowdown --> stop immediate with contact1 / track = 0;
      state stop --> waiting with 5 second / track = 60;
      
  };
}