A Hybrid State Machine for Component Specification

This work extends conventional state machine notations by adding regular expressions of events and unions of source states to state machine transitions, and generates reusable software components from these extended state machine specifications.