State Diagram: Bus_Cont_Protocol / State Diagram