stm_name_in
index_in
self.source.name
stm_name_in -- ,stm_name_out,index_out, out_source_name,
stm_name_in
index_in
self.event.name
index_in -- out_event_name, index_out,
self.destination.name
stm_name_in
index_in
stm_name_in

When the {1}_state{2} is {3}, and the {4} timer is greater than 0, and the {}_state{} is {},
the {5}_component{6} shall: assign true to the {7}{8}{}{}, 
assign {9} to the {10}_state{11}, reset the {12} timer.