Papers tagged state machine approach