Add description of the FIPS FSM.