scchart rail {
  input bool second;
  input bool contact0, contact1;
  output int track;
  
  initial state super "station controller" {
    region go : 
    
    initial state init --> running immediate with /track = 60;
    
    state running;
    
    region platform:
            
    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;
  };  
}