h1. Statechart Modeling and Simulation

h2. The YAKINDU perspective

h2. Example Step-by-Step

h3. Example State Machine

h3. Creating a New Project

h3. Defining a State Machine 

h3. Checking the State Machine

h3. Project Type and Dependencies

h3. Creating Check Files

h3. Editing Check Files

h3. Simulating a State Machine

h2. Using the Example Projects