VM-SSM uses Structured State Machines (SSM's) to implement a VM for asynchronous, event-driven solutions. It formalizes Hierarchical State Machines, provides parametrized states and events, compound and concurrent states with join and race capability.