The top documents tagged [state machine extraction]