start_section  start1 :	
   time : clock :=0;
end section;


election_section  elect1 :
      return min_to_index(tasks.priority);
end section;


automaton_section automaton1 : 
  Run : initial_state;

  transition Run ==> [  (time mod 2) = 0 ,  , elect1!] ==> Run;
end section;