package Transition_Events is 

  procedure START                     ; 
  procedure STOP                      ; 
  procedure TANK_EMPTY                ; 
  procedure REACTION_TEMP_REACHED     ; 
  procedure REACTION_TIME_ELAPSED     ; 

end Transition_Events ;