state transitions __initial _s1 s1 __initial->_s1 _s4 s4 onentry/ ^out.in_4 _s3 s3 onentry/ ^out.in_3 _s2 s2 onentry/ ^out.in_2 _s2->_s4 after(150 ms)    _s1->_s3 after(200 ms)    _s1->_s2 after(100 ms)