h1. Tasks h2. Model a statemachine h2. Validate a statemachine h2. Simulate a statemachine h2. Generate C h2. Generate Java
