Assertion: statechart diagram | /r/HasProperty | useful to model the reactive systems
Facets:
Source sentences:
text: Statechart diagrams are useful to model the reactive systems.