State Diagram VM