state-machine-design

Statechart and state machine modeling for lifecycle and behavior specification