Assertion: model | /r/HasProperty | interpreted as a state transition system
Facets:
Source sentences:
text: Often the model is translated to or interpreted as a finite state automaton or a state transition system.