Added "DOCKED" state machine diagram