Event from I2C driver indicating successfull receipt of byte causes transition to S12. The state transition function used is "STF_S_rd_addr2"

Event from I2C driver indicating failure in receipt causes transition to S15. The state transition function used is "STF_S_wait_for_stop"

Event from I2C driver indicating unexpected stop condition seen causes transition to S1. The state transition function used is "STF_S_ready"