checkfortimer

State Kind

CompositeState

Parent State

TOP

Substates	Initial	Junction2	Junction3
Junction4	Junction1

Transitions	timecompleted	timenotcompleted	t1
t1