h2. Using the Example Projects 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
