Assertion: state machine | /r/HasAspect | more than one current state
Facets:
value: usually
type: TEMPORAL
Source sentences:
text: They combine hierarchical state machines (which usually have more than one current state), flow graphs, and truth tables into one language, resulting in a different formalism and set of semantics.