Part 1: GUI example, events, event-loop, run-to-completion, no-blocking
Part 2: Best practices for concurrency & Active Object pattern
Part 3: Introducing a state machine
Part 4: Guard conditions
Part 5: Input-Driven State Machines
Part 6: Tables and Entry/Exit Actions
Part 7: Optimal Implementation in OVER (updating)