Exercise 3.14: Consider the description of the component Switch given as an extended-state machine in figure 2.2. Give the initialization and reaction formulas corresponding to Switch. Obtain the transition formula for the corre- sponding transition system in as simplified form as possible. Exercise 3.14: Consider the description of the component Switch given as an extended-state machine in figure 2.2. Give the initialization and reaction formulas corresponding to Switch. Obtain the transition formula for the corre- sponding transition system in as simplified form as possible