DEV_ST_TRANSITION_READY
DEV_ST_TRANSITION_PBL : DEV_ST_TRANSITION_READY;
next_state = DEV_ST_TRANSITION_READY;
case DEV_ST_TRANSITION_READY: