FSM2 ASM-Diagrams