Corrected state machine timing description and rebuilt docs