Text this: Hierarchical finite state machines with multiple concurrency models.