Assertion: state machine | /r/CapableOf | retain their main benefits
Facets:
Source sentences:
text: UML state machines overcome the limitations of traditional finite-state machines while retaining their main benefits.