Added transitions between ALCT, OTMB, and DCFEBs in control_fsm.