Assertion: state diagram | /r/HasProperty | powerful modeling tool
Facets:
Source sentences:
text: The state-transition diagram is a powerful modeling tool for describing the required behavior of real-time system.