A sample CECA diagram (a) and its counterpart state machine model (b ...