Assertion: timed automaton | /r/HasProperty | a tuple
Facets:
value: formally
type: MANNER
Source sentences:
text: Formally, a timed automaton is a tuple A