Framework for system modeling, runtime planning, and concurrent execution, based on hieratical state machines.