[ §1 : 25 ] State Machine Models External actions associated with transitions Documentation implications 3.Specific Requirements 3.1 Initial state Initialization 3.2 State A 3.2.1Event X Next State S' Action A
{}