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

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 XS1. The state transition function used is "STF_S_ready"