scchart rail {
  input bool second;
  input contact0,contact1;
  output int track;
  region:
  	initial state sc "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;
  	};
}