A hybrid state machine notation for component specification
A. Sakharov · ACM SIGPLAN Notices · 2000
A wide range of software units can be classified as state machines. We extend conventional state machine notations by adding regular expressions of events and unions of source states to state machine transitions. Reusable software components are generated from these extended state machine specifications. Component specification and generation are illustrated in Java.