Added incremental fsm examples to the docs