Updated state machine design description