state transitions __initial _a a __initial->_a _b b onentry/ ^out.in_b _a->_b _c c onentry/ ^out.in_c _b->_c